MyUtils.Syntax
val let*? : ('a, 'b) Stdlib.result Gillian.Monadic.Delayed.t -> ('a -> 'c Gillian.Monadic.Delayed.t) -> 'c Gillian.Monadic.Delayed.t