let
pp_decl fmt d =
Fol_pretty
.fpp_decl pp_term pp_pred fmt d