Function bounded_int_ty 

pub fn bounded_int_ty<'db>(
    db: &'db dyn Database,
    min: BigInt,
    max: BigInt,
) -> TypeId<'db>

Returns the concrete type of a bounded int type with a given min and max.