Module Odoc_utils.OptionMonad

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

val of_result : ('a, 'b) result -> 'a option
val (>>=) : 'a option -> ('a -> 'b option) -> 'b option