module Result: sig .. end
Implementation of RESULT
type ('a, 'b) t = [ `Error of 'b | `Ok of 'a ]
val return : 'a -> [> `Ok of 'a ]
val fail : 'a -> [> `Error 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 map : [< `Error of 'a | `Ok of 'b ] -> ('b -> 'c) -> [> `Error of 'a | `Ok of 'c ]
val (>>|) : [< `Error of 'a | `Ok of 'b ] -> ('b -> 'c) -> [> `Error of 'a | `Ok of 'c ]
val destruct : [< ('a, 'b) t ] -> ([> ('a, 'b) t ] -> 'c) -> 'c
val (>><) : [< ('a, 'b) t ] -> ([> ('a, 'b) t ] -> 'c) -> 'c