Query.Binary_Lattice
include Datatype_sig.S
with type t = P1.Query.Binary_Lattice.t * P2.Query.Binary_Lattice.t
val hash : t -> int
val bottom : size:int -> t
val is_bottom : size:int -> t -> bool
val top : size:int -> t
val pretty : size:int -> Stdlib.Format.formatter -> t -> unit
val singleton : size:int -> Z.t -> t