propositional/lib/syntax/generate.d.ts

Propositional logic symbolic computation library

import * as AST from './ast';
export declare const not: (right: AST.Expression) => AST.UnaryExpression;
export declare const and: (left: AST.Expression, right: AST.Expression) => AST.BinaryExpression;
export declare const or: (left: AST.Expression, right: AST.Expression) => AST.BinaryExpression;
export declare const variable: (lexeme: string) => AST.Literal;
export declare const FALSE: AST.Literal;
export declare const TRUE: AST.Literal;