PosInttype PosInt = number & {[TYPE]: "Positive Integer"; };§Type§number & {[TYPE]: "Positive Integer"; }[src]