let
rec
pp_pred_debug fmt p =
fpp_pred pp_pred_debug
T
.pp_term pp_tau fmt p