You can search for identifiers within the package.
in-package search v0.2.0
frama-c.kernel
Make._
val e : bool
Value for the empty tree
val f : Key.t -> V.t -> bool
Value for a leaf
val compose : bool -> bool -> bool
Composition of the values of two subtrees