Module Integer_Query.Integer_Lattice

type t

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

val bottom : unit -> t

val is_bottom : t -> bool

val top : unit -> t

val singleton : Z.t -> t

val is_singleton : t -> Z.t option

val fold_crop : t -> inf:Z.t -> sup:Z.t -> (Z.t -> 'a -> 'a) -> 'a -> 'a