let
pretty fmt wp =
F
.pp_pred fmt (zip wp)