import { Schema } from "../..";
export declare type Nat = "zero" | {
    prev: Nat;
};
export declare const zero: Nat;
export declare function natSchema(): Schema<Nat>;