You can search for identifiers within the package.
in-package search v0.2.0
frama-c-e-acsl.core
Options.Dkey
val prepare : category
val logic_normalizer : category
val bound_variables : category
val interval : category
val mtracking : category
val typing : category
val labels : category
val translation : category
val env : category