Up – Package index » Smtml - SMT Solving in OCaml » Library smtml.prelude » Smtml_prelude » Result » Syntax

Module `Result.Syntax`Source

Sourceval (let*) : ('a, 'b) result -> ('a -> ('c, 'b) result) -> ('c, 'b) result

Sourceval (let+) : ('a, 'b) result -> ('a -> 'c) -> ('c, 'b) result