Domains.Memory_domain
module Make
(Common : Memory_sig.Fixed_size_value_domain)
(Memory :
Memory_sig.Memory
with module Address.Context = Common.Context
and module Value.Context = Common.Context
and type Value.binary = Common.binary
and type Address.binary = Common.binary
and type boolean = Common.boolean) :
sig ... end