Module Abstract_value

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