let cast_loc_to_int ty l ty2 = match l with | Mloc l -> M.cast_loc_to_int ty l ty2 | Path p | PRef p | PRpar (p,_) | ARef p | ARpar (p,_) -> M.cast_loc_to_int ty (Lookup.mloc_of_path p) ty2