Type Alias PosInt

PosInt: number & {
    [TYPE]: "Positive Integer";
}