You can search for identifiers within the package.
in-package search v0.2.0
frama-c.kernel
Plugins.Plugins_gui
The signature of the modules present in the module generated by the stanza generate_sites_module
val paths : string list
val list : unit -> string list
val load_all : unit -> unit
val load : string -> unit