Module m4 

Structs

ChipCall

One invocation of a chip by the constraint system holding this call.

ConstraintSystemM4

An M4 constraint system.

EmbeddedConstraintSystem

A constraint system that represents a single chip in a ConstraintSystemM4.

WitnessM4

A full M4 witness: the main chip’s values and one ValueTable per chip of a ConstraintSystemM4.

Traits

ChipInstances

The chip instances of an M4 witness, addressed by chip ID and row.