You can search for identifiers within the package.
in-package search v0.2.0
frama-c.kernel
Register._
val channel : string
val label : string
val verbose_atleast : int -> bool
val debug_atleast : int -> bool