Module Lattice_Interval_Set


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
| Top
| Set of elt list
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