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