package io

  1. Overview
  2. Docs
module Public : sig ... end
include module type of struct include Public end
type ('a, 'b) either = ('a, 'b) Public.either =
  1. | Left of 'a
  2. | Right of 'b
val either : ('a -> 'b) -> ('c -> 'd) -> ('e, 'f) either -> 'g
type ('a, 'b) t = ('a, 'b) either
val return : 'a -> ('b, 'c) either
val (>>=) : ('a, 'b) either -> ('c -> ('d, 'e) either) -> ('d, 'e) either