Type Alias Expression

type Expression = {
    compare: (expr: Expression) => boolean;
    getVars: () => string[];
    isSimplified: () => boolean;
    sameForm: (expr: Expression) => unknown;
}