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.