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