Module Odoc_utils

type ('a, 'b) result = ('a, 'b) Result.result =
  1. | Ok of 'a
  2. | Error of 'b

Re-export for compatibility with 4.02.

module ResultMonad : sig ... end

The result type and a bind operator. This module is meant to be opened.

module OptionMonad : sig ... end

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

module EitherMonad : sig ... end
module List : sig ... end
module Option : sig ... end
module Result : sig ... end
module Fun : sig ... end