You can search for identifiers within the package.
in-package search v0.2.0
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
val find : path -> 'a t -> 'a list
val to_string : (symbol -> string) -> 'a t -> string