module Make (
P
:
Map.OrderedType
)
: S
with type symbol = P.t
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
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