val maybe : ('a -> 'b) -> 'b -> 'a t -> 'bmaybe f x o is x if o is None, otherwise it's f y if o = Some y
val map_or : default:'b -> ('a -> 'b) -> 'a t -> 'bmap_or ~default f o is f x if o = Some x, default otherwise
val is_some : _ t -> boolval is_none : _ t -> boolval return : 'a -> 'a tMonadic return, that is return x = Some x
val iter : ('a -> unit) -> 'a t -> unitIterate on 0 or 1 element
val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'aFold on 0 or 1 element
val exists : ('a -> bool) -> 'a t -> boolval for_all : ('a -> bool) -> 'a t -> boolval get : 'a -> 'a t -> 'aget default x unwraps x, but if x = None it returns default instead.
val get_or : default:'a -> 'a t -> 'aget_or ~default o extracts the value from o, or returns default if o = None.
val get_exn : 'a t -> 'aOpen the option, possibly failing if it is None
val get_lazy : (unit -> 'a) -> 'a t -> 'aget_lazy default_fn x unwraps x, but if x = None it returns default_fn () instead.
sequence_l [x1; x2; ...; xn] returns Some [y1;y2;...;yn] if every xi is Some yi. Otherwise, if the list contains at least one None, the result is None.
wrap f x calls f x and returns Some y if f x = y. If f x raises any exception, the result is None. This can be useful to wrap functions such as Map.S.find.
wrap2 f x y is similar to wrap1 but for binary functions.
module Infix : sig ... endval to_list : 'a t -> 'a listval of_list : 'a list -> 'a tHead of list, or None
type 'a printer = Buffer.t -> 'a -> unittype 'a fmt = Format.formatter -> 'a -> unittype 'a random_gen = Random.State.t -> 'aval random : 'a random_gen -> 'a t random_genchoice_seq s is similar to choice, but works on sequences. It returns the first Some x occurring in s, or None otherwise.