Module Main_values.Interval

module Interval: Abstract_value.Internal  with type t = Ival.t option
Dummy interval: no forward nor backward propagations. None is top.

include Abstract_value.S
val structure : t Abstract_value.structure