You can search for identifiers within the package.
in-package search v0.2.0
Crypto provided by the nocrypto package
module V : Conex_verify.S_RSA_BACK
module NC_V : Conex_verify.S
module C : Conex_private.S_RSA_BACK