thaw-grammar
Version:
Implementations of the grammars of several programming languages, including LISP, Scheme, Prolog, and the Lambda Calculus.
12 lines • 773 B
TypeScript
import { IImmutableSet } from 'thaw-common-utilities.ts';
import { ILCExpression, ISubstitution, IUnifiable } from '../../lambda-calculus/domain-object-model/interfaces/expression';
import { LCValueBase } from '../../lambda-calculus/domain-object-model/value-base';
export declare function isLCIntegerLiteral(obj: unknown): obj is LCIntegerLiteral;
export declare class LCIntegerLiteral extends LCValueBase {
readonly value: number;
constructor(value: unknown);
toString(): string;
equals(obj: unknown): boolean;
unify(other: IUnifiable<ILCExpression>, variablesInOriginalExpr1Param?: IImmutableSet<string>, variablesInOriginalExpr2Param?: IImmutableSet<string>): ISubstitution<ILCExpression> | undefined;
}
//# sourceMappingURL=integer-literal.d.ts.map