Module SubAddress.Query

module Binary_Lattice : Sig.Binary_Lattice

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