Module Main_locations

module Main_locations: 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
Key for precise locs.