You can search for identifiers within the package.
in-package search v0.2.0
val proof_encoding : Tezos_context_sigs.Context.Proof_types.tree Tezos_context_sigs.Context.Proof_types.t Tezos_base.TzPervasives.Data_encoding.t