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>.
pub fn bounded_int_ty(
context: &dyn SignatureSpecializationContext,
min: BigInt,
max: BigInt,
) -> Result<ConcreteTypeId, SpecializationError>
Returns the concrete type for a BoundedInt<min, max>.