Functor Abstract_interp.Make_Lattice_Interval_Set


module Make_Lattice_Interval_Set: 
functor (V : Arithmetic_Value) -> sig .. end
Parameters:
V : Arithmetic_Value

type elt = Make_Pair(V)(V).t 

type tt = private
| Top
| Set of elt list
include Abstract_interp.Lattice
val inject_one : size:V.t -> value:V.t -> t
val inject_bounds : V.t -> V.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