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.