Module Abstract.Value

module Value: sig .. end
Key and structure for abstract values. See for more details.

include Structure.Shape
module type Internal = sig .. end
module type External = sig .. end