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.