openvm_
circuit_
primitives
0.1.0-alpha
Module check_
carry_
to_
zero
Module Items
Structs
Functions
In openvm_
circuit_
primitives::
bigint
openvm_circuit_primitives
::
bigint
Module
check_carry_to_zero
Copy item path
Source
Structs
§
Check
Carry
ToZero
Cols
Check
Carry
ToZero
SubAir
Functions
§
get_
carry_
max_
abs_
and_
bits