You can search for identifiers within the package.
in-package search v0.2.0
binsec.sparcv8decoder
Sparcv8decoder
module SparcV8ToDba : sig ... end