You can search for identifiers within the package.
in-package search v0.2.0
Encoding for 32-tree proofs
val tree_proof_encoding : Tezos_context_sigs.Context.Proof_types.tree Tezos_context_sigs.Context.Proof_types.t Tezos_base.TzPervasives.Data_encoding.t
val stream_proof_encoding : Tezos_context_sigs.Context.Proof_types.stream Tezos_context_sigs.Context.Proof_types.t Tezos_base.TzPervasives.Data_encoding.t