let mloc_of_loc = function | Path p | PRef p | PRpar (p,_) | ARef p | ARpar (p,_) -> Lookup.mloc_of_path p | Mloc loc -> debug "[mloc_of_loc] already a loc %a" M.pp_loc loc ; loc