import { ILCExpression } from './domain-object-model/interfaces/expression';
export declare function integerToChurchNumeral(nx: unknown, options?: {
    f?: string;
    x?: string;
}): ILCExpression;
export declare function churchNumeralToInteger(expr: ILCExpression): number;
export declare function isChurchNumeral(expr: ILCExpression): boolean;
//# sourceMappingURL=church-numerals.d.ts.map