module Extended_result

: sig

Extension to the CUSTOM(Core) .Result

module Ok : Core.Std.Monad.S2 with type ('a, 'err) t = ('a, 'err) Core.Std.Result.t

module Error : Core.Std.Monad.S2 with type ('err, 'a) t = ('a, 'err) Core.Std.Result.t

module Exn : sig

type 'a t = ('a, exn) Core.Std.Result.t

val sexp_of_t : ('a -> Core.Std.Sexp.t) -> 'a t -> Core.Std.Sexp.t

include Core.Std.Monad.S with type 'a t := 'a t

val ok : 'a t -> 'a

ok t returns x if t = Ok x, or raises e if t = Error e.

end