Type Alias TermInfo

type TermInfo = {
    arity?: number;
    discard?: boolean;
    dup?: Set<number>;
    duplicate?: boolean;
    expr?: Expr;
    normal: boolean;
    proper: boolean;
    skip?: Set<number>;
    steps?: number;
}