Extension to the {Core .Result}
module Ok : Core.Std.Monad.S2 with type t = ('a, 'err) Core.Std.Result.t
module Error : Core.Std.Monad.S2 with type t = ('a, 'err) Core.Std.Result.t
module Exn : sig .. end
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 t := 'a t
val ok : 'a t -> 'a
ok t returns x if t = Ok x, or raises e if t = Error e.