Module Utils.OptionMonad

A bind operator for the option type. This module is meant to be opened.

val of_result : ('a'b) Result.result -> 'a option
val return : 'a -> 'a option
val bind : 'a option -> ('a -> 'b option) -> 'b option
val (>>=) : 'a option -> ('a -> 'b option) -> 'b option