Stog library reference documentation : Stog_trie.Make
functor (P : Map.OrderedType->
  sig
    type symbol = P.t
    type path = symbol list
    type 'a t
    exception Already_present of path
    val empty : 'a t
    val add : ?fail:bool -> path -> '-> 'a t -> 'a t
    val find : path -> 'a t -> 'a list
    val to_string : (symbol -> string) -> 'a t -> string
  end