module Option: sig .. end
sig
end
type 'a t = 'a option
'a
'a option
val map : ('a -> 'b) -> 'a t -> 'b t
('a -> 'b) -> 'a t -> 'b t
val get : (unit -> 'a) -> 'a t -> 'a
(unit -> 'a) -> 'a t -> 'a
val iter : ('a -> unit) -> 'a t -> unit
('a -> unit) -> 'a t -> unit
val return : 'a -> 'a t
'a -> 'a t
val bind : 'a t -> ('a -> 'b t) -> 'b t
'a t -> ('a -> 'b t) -> 'b t