Variable: PositiveInt

const PositiveInt: BrandType<Type<"Brand", number & Brand<"Int"> & Brand<"NonNegative">, number, NonNegativeError, number & Brand<"Int">, 
  | NumberError
  | IntError>, "Positive", PositiveError, 
  | NumberError
  | NonNegativeError
| IntError>;