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