let
mloc_of_loc =
function
|
Path
(m,x,p,_)
->
Lookup
.mloc_of_path m x p
|
Mloc
loc
->
loc