let pp_decl fmt d = fpp_decl pp_pred pp_tau fmt d