module Interval: Abstract_value.Leaf with type t = Ival.t option
Abstract_value.Leaf
with type t = Ival.t option
None
include Abstract_value.S
val key : t Abstract_value.key
t Abstract_value.key
t