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