let startof l ty = match l with | ARef p -> debug "[startof] %a" pp_path p ; ARef p | ARpar (p,n) -> ARpar(p,n) | _ -> Mloc (M.startof (mloc_of_loc l) ty)