Kxclib.ResultWithErrmsg0
include ResultOfS'
include ResultOfS
type err
exception Error_result of err
include Monadic with type 'x t = ('x, err) Stdlib.result
type 'x t = ('x, err) Stdlib.result
val return : 'x -> 'x t
val bind : 'x t -> ('x -> 'y t) -> 'y t
val error : err -> 'a t
val get : 'x t -> 'x
val protect' : handler:(exn -> string) -> ('x -> 'y) -> 'x -> 'y t
val protect : ('x -> 'y) -> 'x -> 'y t