You can search for identifiers within the package.
in-package search v0.2.0
frama-c-wp.core
Ptip.plang
inherit Wp__.Pcond.state
method set_target : F.term -> unit
method clear_target : unit