let pp_pred_vbox fmt p = Fol_pretty.epp_pred_vbox { Fol_pretty.pp_type = Fol_pretty.pp_tau ; Fol_pretty.pp_term = pp_term ; Fol_pretty.pp_pred = pp_pred_atom ; } fmt p