Participating_state.Let_syntax
val return : 'a -> 'a T.t
val (>>=) : 'a T.t -> ( 'a -> 'b T.t ) -> 'b T.t
val (>>|) : 'a T.t -> ( 'a -> 'b ) -> 'b T.t
module Let_syntax : sig ... end