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.