You can search for identifiers within the package.
in-package search v0.2.0
frama-c-server.core
Kernel_ast.Functions
val iter : (Frama_c_kernel.Cil_types.kernel_function -> unit) -> unit
val key : Frama_c_kernel.Cil_types.kernel_function -> string
val array : Frama_c_kernel.Cil_types.kernel_function States.array