/**
 * @since 0.1.0
 */
import * as t from 'io-ts';
/**
 * @since 0.1.0
 */
export declare const NonPositiveInt: t.IntersectionC<[t.UnionC<[t.BrandC<t.NumberC, import("./Negative").NegativeBrand>, t.IntersectionC<[t.BrandC<t.NumberC, import("./Zero").ZeroBrand>, t.BrandC<t.NumberC, t.IntBrand>]>]>, t.BrandC<t.NumberC, t.IntBrand>]>;
/**
 * @since 0.1.0
 */
export declare type NonPositiveInt = t.TypeOf<typeof NonPositiveInt>;
//# sourceMappingURL=NonPositiveInt.d.ts.map