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