module Make_Lattice_Interval_Set:
Parameters: |
|
typeelt =
Make_Pair(V)(V).t
type
tt = private
| |
Top |
| |
Set of |
include Abstract_interp.Lattice
val hash : t -> int
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