module Main_values:sig
..end
Main numeric values of Eva.
module CVal:Abstract_value.Leaf
with type t = Cvalue.V.t
Abstract values built over Cvalue.V
module Interval:Abstract_value.Leaf
with type t = Ival.t option
Dummy interval: no forward nor backward propagations.