You can search for identifiers within the package.
in-package search v0.2.0
frama-c.kernel
Db.Main
DEPRECATED Frama-C main interface.
29.0-Copper Use module Boot.Main
Boot.Main
val extend : (unit -> unit) -> unit
Register a function to be called by the Frama-C main entry point.