Expand description
§haloumi-ir
Intermediate representation of the haloumi framework.
Modules§
- cmp
- Comparison IR operator.
- error
- Error type.
- expr
- Structs for handling expressions.
- felt
- Felt type.
- func
- Types related to inputs, outputs, and other locations in the circuit.
- stmt
- Structs for representing statements of the circuit’s logic.
- traits
- Common traits used in IR objects.
Structs§
- Symbolic
Eqv - Equivalence relation on symbolic equivalence.