Module Path_lattice


module Path_lattice: sig .. end


type precise_path = private
| Location of Shifted_Location.t
| Union of Shifted_Location.t * precise_path

type path = private
| Top of Locations.Zone.t
| Precise of precise_path