Module nested_for_loop
openvm_
recursion_
circuit
2.0.1
Module nested_
for_
loop
Module Items
Structs
In openvm_
recursion_
circuit::
subairs
openvm_recursion_circuit
::
subairs
Module
nested_
for_
loop
Copy item path
Source
Structs
ยง
Nested
ForLoop
IoCols
Nested
ForLoop
SubAir
A SubAir that constrains the
is_first
flags for nested for-loops.