Type Alias TFormulaAST

TFormulaAST:
    | { name: string; type: "variable" }
    | { operand: TFormulaAST; type: "not" }
    | { operands: TFormulaAST[]; type: "and" }
    | { operands: TFormulaAST[]; type: "or" }
    | { left: TFormulaAST; right: TFormulaAST; type: "implies" }
    | { left: TFormulaAST; right: TFormulaAST; type: "iff" }