thaw-grammar/dist/types/languages/prolog/domain-object-model/prolog-substitution.d.ts

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

import { IPrologExpression } from './interfaces/iprolog-expression';
import { ISubstitution } from './interfaces/isubstitution';
export declare function createSubstitution(v?: string | undefined, expr?: IPrologExpression | undefined): ISubstitution;
//# sourceMappingURL=prolog-substitution.d.ts.map