jon.recoil.org

Module Stdlib.Option

Extensions to the Option module

type 'a t = 'a option
val first_some : 'a option -> (unit -> 'a option) -> 'a option
val print : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
val map_sharing : ('a -> 'a) -> 'a option -> 'a option

map_sharing f a is map f a. If a is None or it is Some e and f e == e then map_sharing f a == a.