You can search for identifiers within the package.
in-package search v0.2.0
frama-c-from.core
From.Callwise
val iter : (Frama_c_kernel.Cil_types.kinstr -> Eva.Assigns.t -> unit) -> unit
val find : Frama_c_kernel.Cil_types.kinstr -> Eva.Assigns.t