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