Module Main_locations

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

module PLoc: sig .. end
Abstract locations built over Precise_locs.