Module Region_suffix_tree.Make

Parameters

Signature

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