let pointed_of_path p = debug "[pointed_of_path] %a" pp_path p; { p with p_type = object_of_pointed_opt p.p_type }