You can search for identifiers within the package.
in-package search v0.2.0
frama-c.kernel
Queue._
val name : string
Name of the internal state.
val dependencies : State.t list
Dependencies of this internal state.