Stog library reference documentation : Stog_types.Path_trie
sig
  type symbol = string
  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