You can search for identifiers within the package.
in-package search v0.2.0
Universo_api
Checking
Common
Elaboration
Solving