Function erg_compiler::ty::constructors::type_poly

source ยท
pub fn type_poly<S: Into<Str>>(name: S, ts: Vec<Type>) -> Type