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 : 'a Stog_trie.S.t
val add :
Stog_trie.S.path -> 'a -> 'a Stog_trie.S.t -> 'a Stog_trie.S.t
val find : Stog_trie.S.path -> 'a 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 -> 'a t -> 'a t
val find : path -> 'a t -> 'a list
end
end