Module appendix

Structs

• EFlintIteratorOperator
  Defines identifiers for eFLINT operators that can (only) be used in iterator expressions.
• EFlintOperator
  Defines identifiers for eFLINT operators, as well as the number of operands they require.
• Reasoner
  Defines identifiers for reasoners.