Module constraints_folding
openvm_
recursion_
circuit
2.0.1
Module constraints_
folding
Module Items
Structs
In openvm_
recursion_
circuit::
batch_
constraint::
expr_
eval
openvm_recursion_circuit
::
batch_constraint
::
expr_eval
Module
constraints_
folding
Copy item path
Source
Structs
ยง
Constraints
Folding
Air
Constraints
Folding
Cols
Constraints
Folding
Trace
Generator