Odoc_utils.Option
odoc
val map : ('a -> 'b) -> 'a option -> 'b option
val is_some : 'a option -> bool