import { Exp, ExpMeta } from "../../exp";
import { Core } from "../../core";
export declare function nat_from_number(n: number, meta: ExpMeta): Exp;
export declare function nat_to_number(exp: Exp | Core): number | undefined;