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.

BoundedIntTrimConcreteLibfunc

BoundedIntTrimLibfunc

Libfunc for trimming a BoundedInt<Min, Max> by removing Min or Max from the range. The libfunc is also applicable for standard types such as u* and i*.

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>.