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.