let
pp_addr fmt a =
match
a
with
|
Lptr
t
->
F
.pp_term fmt t
|
_
->
F
.pp_term fmt (term_of_xaddr a)