thaw-grammar/dist/types/languages/lambda-calculus/church-numerals.d.ts

Implementations of the grammars of several programming languages, including LISP, Scheme, Prolog, and the Lambda Calculus.

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