Function erg_compiler::ty::constructors::pr_met

pub fn pr_met(
    self_t: Type,
    non_default_params: Vec<ParamTy>,
    var_params: Option<ParamTy>,
    default_params: Vec<ParamTy>,
    return_t: Type
) -> Type