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