Function erg_compiler::ty::constructors::subtype_q

pub fn subtype_q<S: Into<Str>>(name: S, sup: Type) -> Type