Module Main_values

module Main_values: sig .. end
Main numeric values of EVA.

module CVal: Abstract_value.Internal  with type t = Cvalue.V.t
Abstract values built over Cvalue.V
val cvalue_key : CVal.t Abstract_value.key
Key for cvalues.
module Interval: Abstract_value.Internal  with type t = Ival.t option
Dummy interval: no forward nor backward propagations.
val interval_key : Interval.t Abstract_value.key
Key for intervals.