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§
- parser
- The parser for the IR is only for convenience in writing tests.
Structs§
- Clause
- Literal
- Predicate
- A predicate symbol
- Signature
- Spanned
Position - Structure that holds information about the position of some section of the source code.