You can search for identifiers within the package.
in-package search v0.2.0
frama-c-constant_propagation.core
Constant_Propagation
Constant propagation analysis.
module Api : sig ... end