You can search for identifiers within the package.
in-package search v0.2.0
module Proof = Tezos_context_sigs.Context.Proof_types
module type PROTO_RPCS = sig ... end