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.