Function erg_compiler::ty::constructors::named_free_var
source · pub fn named_free_var(name: Str, level: usize, constraint: Constraint) -> Typepub fn named_free_var(name: Str, level: usize, constraint: Constraint) -> Type