You can search for identifiers within the package.
in-package search v0.2.0
val enable : bool -> unit
When contextual names are enabled, the mapping between identifiers and names is ensured to be one-to-one.
val reset : unit -> unit
Reset the naming context