Module Let_syntax.Let_syntax

val return : 'a -> ( 'a, 'b, 'c ) T.t
val bind : ( 'a, 'd, 'e ) T.t -> f:( 'a -> ( 'b, 'd, 'e ) T.t ) -> ( 'b, 'd, 'e ) T.t
val map : ( 'a, 'd, 'e ) T.t -> f:( 'a -> 'b ) -> ( 'b, 'd, 'e ) T.t
val both : ( 'a, 'd, 'e ) T.t -> ( 'b, 'd, 'e ) T.t -> ( 'a * 'b, 'd, 'e ) T.t
module Open_on_rhs : sig ... end