let
addr =
function
|
Loc
(x,k)
->
model_addr (
D
.
Xindex
.get_ind x) k
|
Addr
p
->
p