Function erg_compiler::ty::constructors::quant

source · [−]
pub fn quant(unbound_t: Type, bounds: Set<TyBound>) -> Type
Expand description

quantified((T -> T), T: Type) => |T: Type| T -> T