You can search for identifiers within the package.
in-package search v0.2.0
frama-c-eva.core
Eva.Unit_tests
Currently tested by this module:
val run : unit -> unit
Runs some programmatic tests on Eva.