You can search for identifiers within the package.
in-package search v0.2.0
integers.top
Integers_top
module Install_integer_printers : sig ... end