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