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