let
pp_addr fmt a =
F
.pp_term fmt (term_of_xaddr a)