Module Main_values

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.