Module Region_suffix_tree.Make

Parameters

module Scalar : Sig.BASE

Signature

module Offset : Fully_expanded_finite_region.Enumerable_offset with module Scalar = Scalar and type boolean = Scalar.boolean

module Make_Block (Value : Memory_sig.VALUE with module Scalar = Scalar) : Memory_sig.BLOCK with module Scalar = Scalar and module Value = Value and module Offset = Offset and module Context = Value.Context and type boolean = Value.boolean

include Memory_sig.OFFSET_AND_MAKE_BLOCK with module Scalar = Scalar and module Offset := Offset and module Make_Block := Make_Block

module Scalar = Scalar