let export_pred fmt p = Fol_pretty.epp_pred_vbox { Fol_pretty.pp_type = export_tau ; Fol_pretty.pp_term = export_term ; Fol_pretty.pp_pred = pp_pred_atom ; } fmt p