Module constraints

Modules

• opcodes

Structs

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