You can search for identifiers within the package.
in-package search v0.2.0
frama-c.kernel
Hashtbl._
include Info
val name : string
Name of the internal state.
val dependencies : State.t list
Dependencies of this internal state.
val size : int
Initial size for the hash table.