let
pp_xzone fmt xz =
F
.pp_term fmt (term_of_xzone xz)