openvm_
circuit_
primitives
0.1.0-alpha
Module is_zero
Module Items
Structs
In crate openvm_
circuit_
primitives
openvm_circuit_primitives
Module
is_zero
Copy item path
Source
Structs
ยง
IsZero
AuxCols
IsZero
Io
IsZero
SubAir
An Air that constraints that checks if a number equals 0