List of all items

Structs

• BinaryOperation
• Compare
• Exists
• ForAll
• Function
• FunctionDeclaration
• IfAndOnlyIf
• Implies
• Predicate
• PredicateDeclaration
• UnaryOperation
• Variable
• VariableDeclaration

Enums

• BinaryOperator
• ComparisonOperator
• Formula
• SpecialInteger
• Term
• UnaryOperator

Type Aliases

• Formulas
• FunctionDeclarations
• PredicateDeclarations
• Terms
• VariableDeclarations