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 : ?fail:bool -> path -> 'a -> 'a t -> 'a t
Already_present
if the added path already exist in the trie
and fail
is true
(it is false
by default.val find : path -> 'a t -> 'a list
val to_string : (symbol -> string) -> 'a t -> string