Function erg_compiler::ty::constructors::bounded

source ·
pub fn bounded(sub: Type, sup: Type) -> Type