Module bounded_int

Structs

• BoundedIntAddLibfunc
  Libfunc for adding two BoundedInts. The result is a BoundedInt.
• BoundedIntConcreteType
• BoundedIntConstrainConcreteLibfunc
• BoundedIntConstrainLibfunc
  Libfunc for constraining a BoundedInt<Min, Max> to one of two non-empty ranges: [Min, Boundary) or [Boundary, Max]. The libfunc is also applicable for standard types such as u* and i*.
• BoundedIntDivRemConcreteLibfunc
• BoundedIntDivRemLibfunc
  Libfunc for dividing two non negative BoundedInts and getting the quotient and remainder.
• BoundedIntIsZeroLibfunc
  Libfunc for checking whether the given bounded int is zero or not, and returning a non-zero wrapped value in case of success.
• BoundedIntMulLibfunc
  Libfunc for multiplying two BoundedInts. The result is a BoundedInt.
• BoundedIntSubLibfunc
  Libfunc for subtracting two BoundedInts. The result is a BoundedInt.
• BoundedIntType
  Type for BoundedInt. The native type of the Cairo architecture.
• BoundedIntWrapNonZeroLibfunc
  Libfunc for wrapping a given bounded int with non-zero, given 0 is not in the range.

Enums

• BoundedIntConcreteLibfunc
• BoundedIntDivRemAlgorithm
  The algorithm to use for division and remainder of bounded integers.
• BoundedIntLibfunc

Functions

• bounded_int_ty
  Returns the concrete type for a BoundedInt<min, max>.