let
base ma a =
Laddr
(
Aint
.of_term (
L
.base ma (term_of_xaddr a)))