module Main_locations: sig .. end
sig
end
Main memory locations of Eva:
module PLoc: sig .. end
Abstract locations built over Precise_locs.