Stog library reference documentation : Stog_trie.Make

Functor Stog_trie.Make

module Make (P : Map.OrderedType) : S  with type symbol = P.t
Parameters:
P : Map.OrderedType

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.