Modules
Structs
Internal representation of an AIR.
Identifier is used to represent variable names.
Reference to a node in a graph by its index in the nodes vector of the graph struct.
Declaration of a public input for an AIR. Public inputs are represented by a named identifier
which is used to identify a fixed size array of length
size
.Degree descriptor of a transition constraint.
Enums
Arithmetic expressions for evaluation of boundary constraints.