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.