You can search for identifiers within the package.
in-package search v0.2.0
inquire.lambda-term
Make.spacing
inherit t
val size_request : LTerm_geom.size
method size_request : LTerm_geom.size