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