module Abstract_value:sig
..end
Abstract numeric values of the analysis.
module type S =sig
..end
Signature of abstract numerical values.
Key and structure for values. See , and where the mechanism is explained in detail.
type'a
key ='a Structure.Key_Value.k
type'a
structure ='a Structure.Key_Value.structure
module type Internal =sig
..end
module type External =sig
..end