Region_suffix_tree.Make
module Scalar : Domain_sig.Base
module Offset :
Fully_expanded_finite_region.Enumerable_offset
with module Context = Scalar.Context
and module Scalar = Scalar
and type boolean = Scalar.boolean
module Memory
(Value : Memory_sig.Value)
(Lift :
Memory_sig.Value_to_offset
with module Value := Value
and module Offset := Offset) :
Memory_sig.Region
with module Value = Value
and module Offset = Offset
and module Context = Value.Context
and type boolean = Value.boolean
include Memory_sig.Offset_Memory_domain
with module Offset := Offset
and module Memory := Memory