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