module Hid_map:Stog_trie.S
with type symbol = string
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