pub fn bounded_int_ty(
db: &dyn SemanticGroup,
min: BigInt,
max: BigInt,
) -> TypeId
Expand description
Returns the concrete type of a bounded int type with a given min and max.
pub fn bounded_int_ty(
db: &dyn SemanticGroup,
min: BigInt,
max: BigInt,
) -> TypeId
Returns the concrete type of a bounded int type with a given min and max.