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