smtml.prelude
Result.Syntax
smtml
val (let*) : ('a, 'b) result -> ('a -> ('c, 'b) result) -> ('c, 'b) result
val (let+) : ('a, 'b) result -> ('a -> 'c) -> ('c, 'b) result