Module Misc.Stdlib.Option

module Option: sig .. end

type 'a t = 'a option

val equal : ('a -> 'a -> bool) ->
       'a t -> 'a t -> bool

val iter : ('a -> unit) -> 'a t -> unit

val map : ('a -> 'b) -> 'a t -> 'b t

val fold : ('a -> 'b -> 'b) -> 'a t -> 'b -> 'b

val value_default : ('a -> 'b) -> default:'b -> 'a t -> 'b

The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.