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