bounded_int
Fully qualified path: core::internal::bounded_int
Modules
| constrain0 | — |
| trim_impl | — |
| neg_felt252 | Helper implementation for NegFelt252 . |
Type aliases
Impl aliases
Traits
| AddHelper | A helper trait for adding two BoundedInt instances. |
| DivRemHelper | A helper trait for dividing two BoundedInt instances. |
| MulHelper | A helper trait for multiplying two BoundedInt instances. |
| SubHelper | A helper trait for subtracting two BoundedInt instances. |
| ConstrainHelper | A helper trait for constraining a BoundedInt instance. |
| TrimMinHelper | A helper trait for trimming a BoundedInt instance’s min value. |
| TrimMaxHelper | A helper trait for trimming a BoundedInt instance’s max value. |
| NegFelt252 | Returns the negation of the given felt252 value. |
| NegateHelper | A helper trait for negating a BoundedInt instance. |
Impls
Extern types
Extern functions
| bounded_int_div_rem | — |
| downcast | Downcasts FromType to ToType - for types where conversion may fail. If done for wrong types would cause a compiler panic at the Sierra stage. |
| upcast | Upcasts FromType to ToType - for types where conversion is always legal. If done for wrong types would cause a compiler panic at the Sierra stage. |
| bounded_int_add | — |
| bounded_int_sub | — |
| bounded_int_mul | — |
| bounded_int_constrain | — |
| bounded_int_trim_min | — |
| bounded_int_trim_max | — |
| bounded_int_is_zero | — |