You can search for identifiers within the package.
in-package search v0.2.0
frama-c-wp.core
Ptip.pcond
inherit Wp__.Pcond.seqengine
method visible : Wp__.Conditions.step -> bool
method set_target : part -> unit