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