Interface Op2<T>

interface Op2<T> {
    info?: string;
    l: Term<any>;
    op: Operator;
    r: Term<any>;
    tag: Tag;
    type: T;
}

Type Parameters

T extends Type

Hierarchy (view full)

Term<T>
- Op2

Index

Properties

info? l op r tag type

Properties

`Optional` info

info?: string

l

l: Term<any>

op

r

r: Term<any>

tag

tag: Tag

type

type: T

Generated using TypeDoc