Domains.Region_separation
module Make
(Sub : Memory_sig.Offset_Memory_domain)
(Offset2Scalar :
Memory_sig.Offset_to_Scalar
with module Offset := Sub.Offset
and module Scalar := Sub.Offset.Scalar) :
Memory_sig.Whole_Memory_domain
with module Address.Context = Sub.Offset.Context
and module Address.Scalar = Sub.Offset.Scalar