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