Function erg_compiler::ty::constructors::proc

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