Module Make.Query

module Binary_Lattice : Sig.Binary_Lattice with type t = P1.Query.Binary_Lattice.t * P2.Query.Binary_Lattice.t

val binary : size:Units.In_bits.t -> Context.t -> binary -> Binary_Lattice.t

module Enum_Lattice : Sig.Enum_Lattice

val enum : Context.t -> enum -> Enum_Lattice.t