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