import { Branded } from 'schemata-ts/brand'; import { SchemaExt } from 'schemata-ts/SchemaExt'; interface PositiveIntBrand { readonly PositiveInt: unique symbol; } /** * Positive integer branded newtype. * * Represents positive integers: * * ```math * { z | z ∈ ℤ, z > 0, z <= 2 ** 53 - 1 } * ``` * * @since 1.0.0 * @category Model */ export declare type PositiveInt = Branded; /** * @since 1.0.0 * @category Model */ export declare type PositiveIntS = SchemaExt; /** * Positive integer branded newtype. * * Represents positive integers: * * ```math * { z | z ∈ ℤ, z > 0, z <= 2 ** 53 - 1 } * ``` * * @since 1.0.0 * @category Schema */ export declare const PositiveInt: PositiveIntS; export {}; //# sourceMappingURL=PositiveInt.d.ts.map