sig type precise_path = private Location of Shifted_Location.t | Union of Shifted_Location.t * Path_lattice.precise_path type path = private Top of Locations.Zone.t | Precise of Path_lattice.precise_path end