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