You can search for identifiers within the package.
in-package search v0.2.0
frama-c.kernel
Make.Option
applying monadic functions to the option type
val iter : ('a -> unit t) -> 'a option -> unit t
val map : ('a -> 'b t) -> 'a option -> 'b option t