Module Main_locations.PLoc

module PLoc: sig .. end

Abstract locations built over Precise_locs.


include Abstract_location.Leaf
val make : Locations.location -> location