module PLoc: sig .. end
sig
end
Abstract locations built over Precise_locs.
include Abstract_location.Leaf
val make : Locations.location -> location
Locations.location -> location