Module proof_idx
openvm_
recursion_
circuit
2.0.1
Module proof_
idx
Module Items
Structs
In openvm_
recursion_
circuit::
subairs
openvm_recursion_circuit
::
subairs
Module
proof_
idx
Copy item path
Source
Structs
ยง
Proof
IdxIo
Cols
Proof
IdxSub
Air