You can search for identifiers within the package.
in-package search v0.2.0
frama-c.kernel
Make._
val l : State.t list
Dependencies of the hash-consing table. The table will be cleared whenever one of those dependencies is cleared.