let rec pp_pred_atom fmt p =
  epp_pred_atom {
    pp_type = export_tau ;
    pp_term = export_term ;
    pp_pred = pp_pred_atom ;
  } fmt p