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 is_some : _ t -> boolval is_none : _ t -> boolval return : 'a -> 'a tMonadic return
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 get : 'a -> 'a t -> 'aget default x unwraps x, but if x = None it returns default instead.
val get_exn : 'a t -> 'aOpen the option, possibly failing if it is None
Invalid_argument if the option 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.
the exception handler, which returns true if the exception is to be caught.
wrap2 f x y is similar to wrap1 but for binary functions.
val 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.