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.