Module All_Basis.Binary_Lattice
val bottom : size:int -> t
val is_bottom : size:int -> t -> bool
val inter : size:int -> t -> t -> t
val join : size:int -> t -> t -> t
val pretty : size:int -> Stdlib.Format.formatter -> t -> unit
val widen : size:int -> previous:t -> t -> t
val includes : size:int -> t -> t -> bool
val includes_or_widen : size:int -> previous:t -> t -> bool * t
val singleton : size:int -> Z.t -> t