thaw-grammar/dist/types/languages/sasl/domain-object-model/lambda-expression.d.ts

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

import { IEnvironmentFrame } from '../../../common/domain-object-model/environment-frame';
import { IExpression } from '../../../common/domain-object-model/iexpression';
import { IGlobalInfo } from '../../../common/domain-object-model/iglobal-info';
import { IVariable } from '../../../common/domain-object-model/variable';
import { ISExpression } from '../../lisp/domain-object-model/isexpression';
import { LambdaExpression } from '../../scheme/domain-object-model/lambda-expression';
import { IConvertibleToGraph } from './iconvertible-to-graph';
export declare class SASLLambdaExpression extends LambdaExpression implements IConvertibleToGraph {
    constructor(argList: IVariable<ISExpression>[], body: IExpression<ISExpression>, line?: number, column?: number);
    evaluate(globalInfo: IGlobalInfo<ISExpression>, localEnvironment?: IEnvironmentFrame<ISExpression>, options?: unknown): ISExpression;
    private makeAbstraction;
    convertToGraph(): IExpression<ISExpression>;
}
//# sourceMappingURL=lambda-expression.d.ts.map