Variable: PositiveInt

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