Interface Ternary<T>

interface Ternary<T> {
    f: Term<T>;
    t: Term<T>;
    tag: Tag;
    test: BoolTerm;
    type: T;
}

Type Parameters

Hierarchy (view full)

Properties

Properties

f: Term<T>
t: Term<T>
tag: Tag
test: BoolTerm
type: T

Generated using TypeDoc