cairo_lang_sierra::extensions::modules::bounded_int

Function bounded_int_ty

Source
pub fn bounded_int_ty(
    context: &dyn SignatureSpecializationContext,
    min: BigInt,
    max: BigInt,
) -> Result<ConcreteTypeId, SpecializationError>
Expand description

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