import { SmartConstructor, SmartType } from "../utilTypes";
export declare type PositiveInt = SmartType<number, "PositiveInt">;
export declare const mkPositiveInt: SmartConstructor<PositiveInt>;