module Main_values:sig
..end
module CVal:Abstract_value.Internal
with type t = Cvalue.V.t
val cvalue_key : CVal.t Abstract_value.key
module Interval:Abstract_value.Internal
with type t = Ival.t option
val interval_key : Interval.t Abstract_value.key