Module Path_lattice


module Path_lattice: sig .. end
Undocumented. Do not use this module if you don't know what you are doing.


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