Module Base__.Monad_intf.S_indexed.Let_syntax.Let_syntax

val return : 'a ‑> ('a, 'i, 'i) t

val bind : ('a, 'i, 'j) t ‑> f:('a ‑> ('b, 'j, 'k) t) ‑> ('b, 'i, 'k) t

val map : ('a, 'i, 'j) t ‑> f:('a ‑> 'b) ‑> ('b, 'i, 'j) t

val both : ('a, 'i, 'j) t ‑> ('b, 'j, 'k) t ‑> ('a * 'b, 'i, 'k) t

module Open_on_rhs : sig ... end