module Lattice_Interval_Set: sig
.. end
Undocumented.
Do not use this module if you don't know what you are doing.
type
elt = Abstract_interp.Int.t * Abstract_interp.Int.t
type
tt = private
include Lattice
val inject_one : size:Abstract_interp.Int.t -> value:Abstract_interp.Int.t -> t
val inject_bounds : Abstract_interp.Int.t -> Abstract_interp.Int.t -> t
val inject : elt list -> t
val fold : (elt -> 'a -> 'a) -> t -> 'a -> 'a
val splitting_cardinal_less_than : split_non_enumerable:int -> t -> int -> int