Stog library reference documentation : Stog_trie
sig
  module type S =
    sig
      type symbol
      type path = Stog_trie.S.symbol list
      type 'a t
      exception Already_present of Stog_trie.S.path
      val empty : 'Stog_trie.S.t
      val add :
        Stog_trie.S.path -> '-> 'Stog_trie.S.t -> 'Stog_trie.S.t
      val find : Stog_trie.S.path -> 'Stog_trie.S.t -> 'a list
    end
  module Make :
    functor (P : Map.OrderedType->
      sig
        type symbol = P.t
        type path = symbol list
        type 'a t
        exception Already_present of path
        val empty : 'a t
        val add : path -> '-> 'a t -> 'a t
        val find : path -> 'a t -> 'a list
      end
end