Module constraints

Source

Modules§

opcodes

Structs§

Constraint
A constraint is an operation and a list of nested arguments.
ConstraintCompiler
The backend for the constraint compiler.