You can search for identifiers within the package.
in-package search v0.2.0
GT.HTML
Anchor.String
Make reference for strings.
val ref : X.t -> string -> string