这里是所有枚举, 及指向其所属类的链接:

F

O

T

• FuncType : LMCAS::FunctionNode
• Op : LMCAS::LogicalNode
• TransformType : LMCAS::TransformNode
• Type : LMCAS::AssumptionDecl, LMCAS::QuantifierNode