Option (p.oxcaml-compiler.5.2.0minus39.doc.compiler-libs.common.Misc.Stdlib.Option)

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.