module type S =sig
..end
Stog_trie.Make
functor.type symbol
type path = symbol list
type 'a
t
exception Already_present of path
val empty : 'a t
val add : path -> 'a -> 'a t -> 'a t
Already_present
if the added path already exist in the trie.val find : path -> 'a t -> 'a list