pub fn nd_proc(params: Vec<ParamTy>, ret: Type) -> Type