Module Query.Boolean_Lattice

type t = SVA.boolean

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 : bool -> t

val to_quadrivalent : t -> Lattices__.Boolean_standard.Quadrivalent.t