val bind : 'a option -> f:('a -> 'b option) -> 'b optionval map : f:('a -> 'b) -> 'a option -> 'b optionval get : 'a option -> 'aval value : default:'a -> 'a option -> 'aval value_map : f:('a -> 'b) -> default:'b -> 'a option -> 'bval iter : f:('a -> unit) -> 'a option -> unitval cons : 'a option -> 'a list -> 'a listmodule Infix : sig ... endinclude module type of struct include Infix end
val return : 'a -> 'a optionval (>>=) : 'a option -> ('a -> 'b option) -> 'b optionval (>>|) : 'a option -> ('a -> 'b) -> 'b optionval (let*) : 'a option -> ('a -> 'b option) -> 'b optionval (let+) : 'a option -> ('a -> 'b) -> 'b optionval to_list : 'a option -> 'a listval is_some : 'a option -> boolval plus : 'a option -> 'a option -> 'a optionval print : (unit -> 'a -> string) -> unit -> 'a option -> string