eflint_
json
0.1.0
Module appendix
Module Items
Structs
In eflint_
json::
spec
eflint_json
::
spec
Module
appendix
Copy item path
Source
Structs
ยง
EFlint
Iterator
Operator
Defines identifiers for eFLINT operators that can (only) be used in
iterator expressions
.
EFlint
Operator
Defines identifiers for eFLINT operators, as well as the number of operands they require.
Reasoner
Defines identifiers for reasoners.