module PLoc: sig .. end
sig
end
include Abstract_location.Leaf
val make : Locations.location -> location
Locations.location -> location