Module Main_locations

module Main_locations: sig .. end
Main memory locations of EVA:

module PLoc: Abstract_location.Internal 
  with type value = Cvalue.V.t
   and type location = Precise_locs.precise_location
Abstract locations built over Precise_locs.
val ploc_key : PLoc.location Abstract_location.key
Key for precise locs.