Module Status.Syntax

Binding operators.

This allows to inject bare status function results into the ('a, t) result error monad. It binds on Bytesrw_crypto__psa.success and otherwise Error with the error code.

val (let*) : ('a, 'e) result -> ('a -> ('b, 'e) result) -> ('b, 'e) result

This is the usual Result.bind

val (let+) : t -> (unit -> ('b, t) result) -> ('b, t) result

This binds on Bytesrw_crypto__psa.success and otherwise Error _ with the error code.