pub fn nd_proc1(pt: ParamTy, ret: Type) -> Type