You can search for identifiers within the package.
in-package search v0.2.0
frama-c.kernel
Hpath.Names
val add : t -> string -> unit
val remove : t -> unit
val all : unit -> (t * string) list