export declare abstract class Operator<V> {
    abstract eval(): V;
}
export declare class UnaryOperator<T, V> extends Operator<V> {
    private _t;
    private _o;
    constructor(t: T, o: (t: T) => V);
    t(): T;
    eval(): V;
}
export declare class BinaryOperator<T1, T2, V> extends Operator<V> {
    private _t1;
    private _t2;
    private _c;
    constructor(t1: T1, t2: T2, c: (t1: T1, t2: T2) => V);
    t1(): T1;
    t2(): T2;
    eval(): V;
}
export declare class MultiOperator<T, V> extends Operator<V> {
    private _ts;
    private _c;
    constructor(ts: T[], c: (ts: T[]) => V);
    ts(): T[];
    eval(): V;
}
export declare enum LogicalOperatorTypes {
    identity = 0,
    or = 1,
    and = 2,
    not = 3
}
export declare type Operand = Operator<boolean> | boolean;
export declare class IdentityOperator<T extends Operand> extends UnaryOperator<T, boolean> {
    constructor(t: T);
}
export declare class NotOperator<T extends Operand> extends UnaryOperator<T, boolean> {
    constructor(t: T);
}
export declare class AndOperator<T extends Operand> extends MultiOperator<T, boolean> {
    constructor(ts: T[]);
}
export declare class OrOperator<T extends Operand> extends MultiOperator<T, boolean> {
    constructor(ts: T[]);
}