module Main_locations: sig .. end
sig
end
Main memory locations of Eva:
module PLoc: sig .. end
Abstract locations built over Precise_locs.
val ploc_key : PLoc.location Abstract_location.key
PLoc.location Abstract_location.key
Key for precise locs.