propositional/lib/syntax/parse.d.ts

Propositional logic symbolic computation library

import { Token } from './token';
import * as AST from './ast';
export declare function parse(tokenStream: Token[]): AST.Expression;