Domains.Typed_memory_domain
module Ctypes = Types.Ctypes
module type S = sig ... end
module Make
(Scalar : Domain_sig.Base)
(Sub :
Memory_sig.Memory_domain
with module Address.Context = Scalar.Context
and module Address.Scalar = Scalar) :
S with module Sub = Sub