Let_syntax (infer.IStdlib.IResult.Let

include module type of IStdlib.IStd.Result.Monad_infix

val (>>=) : 
  ('a, 'e) Core__Result.t ->
  ('a -> ('b, 'e) Core__Result.t) ->
  ('b, 'e) Core__Result.t

val (>>|) : ('a, 'e) Core__Result.t -> ('a -> 'b) -> ('b, 'e) Core__Result.t

val (let+) : 
  ('ok, 'err) IStd.result ->
  ('ok -> 'okk) ->
  ('okk, 'err) IStd.result

val (let*) : 
  ('ok, 'err) IStd.result ->
  ('ok -> ('okk, 'err) IStd.result) ->
  ('okk, 'err) IStd.result