You can search for identifiers within the package.
in-package search v0.2.0
GT.View
Set.V
type t = S.elt
The type.
val toString : t -> string
View function.