| BoundedIntCopy | — |
| BoundedIntDrop | — |
| NumericLiteralBoundedInt | — |
| BoundedIntIntoFelt252 | — |
| Felt252TryIntoBoundedInt | — |
| BoundedIntPartialEq | — |
| AddBI01BI01Helper | — |
| AddBI02BI01Helper | — |
| AddOneToU8Helper | — |
| AddOneToU16Helper | — |
| AddOneToU32Helper | — |
| AddOneToU64Helper | — |
| AddOneToU128Helper | — |
| AddOneToI8Helper | — |
| AddOneToI16Helper | — |
| AddOneToI32Helper | — |
| AddOneToI64Helper | — |
| AddOneToI128Helper | — |
| SubOneToU8Helper | — |
| SubOneToU16Helper | — |
| SubOneToU32Helper | — |
| SubOneToU64Helper | — |
| SubOneToU128Helper | — |
| SubOneToI8Helper | — |
| SubOneToI16Helper | — |
| SubOneToI32Helper | — |
| SubOneToI64Helper | — |
| SubOneToI128Helper | — |
| NonZeroMulHelper | — |
| NonZeroConstrainHelper | — |
| MulMinus1 | — |
| NonZeroMulMinusOneNegateHelper | — |