package nbd

  1. Overview
  2. Docs
type (!'ok, !'err) t = [
  1. | `Error of 'err
  2. | `Ok of 'ok
]
val return : 'a -> [> `Ok of 'a ]
val bind : [< `Error of 'a | `Ok of 'b ] -> ('b -> [> `Error of 'a ] as 'c) -> 'c
val (>>=) : [< `Error of 'a | `Ok of 'b ] -> ('b -> [> `Error of 'a ] as 'c) -> 'c
val fail : 'a -> [> `Error of 'a ]