You can search for identifiers within the package.
in-package search v0.2.0
frama-c-rpp.core
Rpp
val print_hello : string -> unit
class generation_of_proof_system : Frama_c_kernel.Project.t -> Rpp__.Rpp_types.visitor