Stog library reference documentation : Stog_trie.S

Module type Stog_trie.S

module type S = sig .. end
Signature of the module created by the Stog_trie.Make functor.

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
Raises Already_present if the added path already exist in the trie.
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.