Module MakeAddressOnly.Query
module Binary_Lattice : Sig.Binary_Latticeval binary :
size:Units.In_bits.t ->
Scalar.Context.t ->
binary ->
Binary_Lattice.tmodule Enum_Lattice : Sig.Enum_Latticeval enum : Scalar.Context.t -> enum -> Enum_Lattice.t