Region_separation.Make
module Sub : Memory_sig.Offset_Memory_domain
module Offset2Scalar :
Memory_sig.Offset_to_Scalar
with module Offset := Sub.Offset
and module Scalar := Sub.Offset.Scalar
module Address :
Memory_sig.Fixed_size_value_domain
with module Context = Sub.Offset.Context
with module Scalar = Sub.Offset.Scalar
module Memory
(Value : Memory_sig.Value)
(Lift :
Memory_sig.Value_to_address
with module Value := Value
and module Address := Address) :
Memory_sig.Memory
with module Value = Value
and module Address = Address
and type boolean = Value.boolean