You can search for identifiers within the package.
in-package search v0.2.0
frama-c.kernel
List.Option
val iter : ('a -> unit list) -> 'a option -> unit list
val map : ('a -> 'b list) -> 'a option -> 'b option list