thaw-grammar
Version:
Implementations of the grammars of several programming languages, including LISP, Scheme, Prolog, and the Lambda Calculus.
20 lines • 960 B
TypeScript
import { IExpression } from '../../common/domain-object-model/iexpression';
import { ISExpression } from '../../languages/lisp/domain-object-model/isexpression';
import { SExpressionBase } from '../lisp/domain-object-model/sexpression-base';
export declare function isSKIOp(obj: unknown): obj is SKIOp;
export declare class SKIOp extends SExpressionBase {
readonly name: string;
readonly expectedNumArgs: number;
readonly typename = "SKIOp";
constructor(name: string);
toString(): string;
}
export declare function isGraphReductionNode(obj: unknown): obj is GraphReductionNode;
export declare class GraphReductionNode extends SExpressionBase {
leftChild: IExpression<ISExpression>;
rightChild: IExpression<ISExpression>;
readonly typename = "GraphReductionNode";
constructor(leftChild: IExpression<ISExpression>, rightChild: IExpression<ISExpression>);
toString(): string;
}
//# sourceMappingURL=graph-reduction.d.ts.map