let
addr =
function
|
Loc
l
->
model_addr l.base l.off
|
Addr
(p,_)
->
p