| BoundedIntSerde | — |
| BoundedIntDebug | — |
| I8Constrain0 | — |
| I16Constrain0 | — |
| I32Constrain0 | — |
| I64Constrain0 | — |
| I128Constrain0 | — |
| U8TrimBelow | — |
| U8TrimAbove | — |
| I8TrimBelow | — |
| I8TrimAbove | — |
| U16TrimBelow | — |
| U16TrimAbove | — |
| I16TrimBelow | — |
| I16TrimAbove | — |
| U32TrimBelow | — |
| U32TrimAbove | — |
| I32TrimBelow | — |
| I32TrimAbove | — |
| U64TrimBelow | — |
| U64TrimAbove | — |
| I64TrimBelow | — |
| I64TrimAbove | — |
| U128TrimBelow | — |
| U128TrimAbove | — |
| I128TrimBelow | — |
| I128TrimAbove | — |
| NegFelt2520 | — |
| NegFelt2521 | — |
| NegFelt252Minus1 | — |
| NegFelt2520x7e | — |
| NegFelt252Minus0x7e | — |
| NegFelt2520x7f | — |
| NegFelt252Minus0x7f | — |
| NegFelt2520x80 | — |
| NegFelt252Minus0x80 | — |
| NegFelt2520x7ffe | — |
| NegFelt252Minus0x7ffe | — |
| NegFelt2520x7fff | — |
| NegFelt252Minus0x7fff | — |
| NegFelt2520x8000 | — |
| NegFelt252Minus0x8000 | — |
| NegFelt2520x7ffffffe | — |
| NegFelt252Minus0x7ffffffe | — |
| NegFelt2520x7fffffff | — |
| NegFelt252Minus0x7fffffff | — |
| NegFelt2520x80000000 | — |
| NegFelt252Minus0x80000000 | — |
| NegFelt2520x7ffffffffffffffe | — |
| NegFelt252Minus0x7ffffffffffffffe | — |
| NegFelt2520x7fffffffffffffff | — |
| NegFelt252Minus0x7fffffffffffffff | — |
| NegFelt2520x8000000000000000 | — |
| NegFelt252Minus0x8000000000000000 | — |
| NegFelt2520x7ffffffffffffffffffffffffffffffe | — |
| NegFelt252Minus0x7ffffffffffffffffffffffffffffffe | — |
| NegFelt2520x7fffffffffffffffffffffffffffffff | — |
| NegFelt252Minus0x7fffffffffffffffffffffffffffffff | — |
| NegFelt2520x80000000000000000000000000000000 | — |
| NegFelt252Minus0x80000000000000000000000000000000 | — |