You can search for identifiers within the package.
in-package search v0.2.0
frama-c-wp.gui
GuiGoal.pane
method select : Wp.Wpo.t option -> unit
method update : unit
method coerce : GObj.widget