Module Memory_domains.Region_suffix_tree

module MakeOffset (Scalar : Sig.BASE) : Fully_expanded_finite_region.Enumerable_offset with module Scalar = Scalar and type boolean = Scalar.boolean

module MakeFullyExpanded (Scalar : Sig.BASE) : sig ... end

module Make (Scalar : Sig.BASE) : sig ... end