let rec pp_pred_atom fmt p = Fol_pretty.epp_pred_atom { Fol_pretty.pp_type = Fol_pretty.pp_tau ; Fol_pretty.pp_term = pp_term; Fol_pretty.pp_pred = pp_pred_atom ; } fmt p