propositional/lib/syntax/ast.d.ts

Propositional logic symbolic computation library

import { Token } from './token';
export declare abstract class Expression {
}
export declare class BinaryExpression extends Expression {
    left: Expression;
    operator: Token;
    right: Expression;
    constructor(left: Expression, operator: Token, right: Expression);
}
export declare class UnaryExpression extends Expression {
    operator: Token;
    inner: Expression;
    constructor(operator: Token, inner: Expression);
}
export declare class Literal extends Expression {
    value: Token;
    constructor(value: Token);
}