Module Query.Enum_Lattice

type t

val top : size:int -> t

val singleton : int -> t

val is_singleton : t -> int option

val fold_on_cases : t -> 'a -> (int -> 'a -> 'a) -> 'a

val bottom : unit -> t

val is_bottom : t -> bool

val equal : t -> t -> bool

val compare : t -> t -> int

val hash : t -> int

val pretty : Stdlib.Format.formatter -> t -> unit

val join : t -> t -> t

val includes_or_widen : previous:t -> t -> bool * t

val includes : t -> t -> bool

val widen : previous:t -> t -> t

val inter : t -> t -> t