Functionsยง
- a_
b_ bitand_ 1 - assert_
250_ bit - assert_
le_ felt - assert_
le_ felt_ excluded_ 0 - assert_
le_ felt_ excluded_ 1 - assert_
le_ felt_ excluded_ 2 - assert_
le_ felt_ v_ 0_ 6 - assert_
le_ felt_ v_ 0_ 8 - assert_
lt_ felt - assert_
nn - assert_
not_ equal - assert_
not_ zero - is_
250_ bits - is_
addr_ bounded - is_
le_ felt - is_nn
- is_
nn_ out_ of_ range - is_
positive - is_
quad_ residue - signed_
div_ rem - split_
felt - split_
int - split_
int_ assert_ range - split_
xx - sqrt
- unsigned_
div_ rem