You can search for identifiers within the package.
in-package search v0.2.0
type tm
val mk_tm : unit -> tm
TermManager instance constructor.
val delete : tm -> unit
TermManager instance destructor.