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.
type 'loc key = 'loc Structure.Key_Location.key 
module type Leaf = sig .. end
Signature for a leaf module of abstract locations.