You can search for identifiers within the package.
in-package search v0.2.0
Describes Knowledge classes.
type t
the type of the element
val name : t -> name
name elt is the fully qualified element name.
name elt
val desc : t -> string
desc elt is the text describing the element.
desc elt