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 : ?fail:bool -> path -> 'a -> 'a t -> 'a t

Raises Already_present if the added path already exist in the trie and fail is true (it is false by default.

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.

val to_string : (symbol -> string) -> 'a t -> string