Expand description
This module contains logical structures that define the intermediate language used by Modus.
Currently, these structures are generic, parameterized over the types they may use for constants or variables.
Modules
The parser for the IR is only for convenience in writing tests.
Structs
A predicate symbol
Structure that holds information about the position of some section of the source code.