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