type symbol = P.t
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
  • raises 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

Find all data associated to the given path or below, or an empty list if such a path does not exist.

val to_string : (symbol -> string) -> 'a t -> string