Module Abstract_location

module Abstract_location: sig .. end

Abstract memory locations of the analysis.


type 'v truth = 'v Abstract_value.truth 
module type S = sig .. end

Signature of abstract memory locations.

Key and structure for locations. See , and where the mechanism is explained in detail.

type 'a key = 'a Structure.Key_Location.k 
type 'a structure = 'a Structure.Key_Location.structure 
module type Internal = sig .. end
module type External = sig .. end