let pp_pred_vbox fmt p = epp_pred_vbox { pp_type = pp_tau ; pp_term = T.pp_term ; pp_pred = pp_pred_atom ; } fmt p