Module Main_locations

module Main_locations: sig .. end

Main memory locations of Eva:


module PLoc: sig .. end

Abstract locations built over Precise_locs.