Module Main_values.Interval

module Interval: Abstract_value.Leaf  with type t = Ival.t option

Dummy interval: no forward nor backward propagations. None is top.

include Abstract_value.S

val key : t Abstract_value.key

The key identifies the module and the type t of abstract values.