Module Base__.Monad_intf.S_indexed.Let_syntax

val return : 'a ‑> ('a, 'i, 'i) t
include Infix_indexed with type (a, i, j) t := (a, i, j) t
type ('a, 'i, 'j) t
val (>>=) : ('a, 'i, 'j) t ‑> ('a ‑> ('b, 'j, 'k) t) ‑> ('b, 'i, 'k) t
val (>>|) : ('a, 'i, 'j) t ‑> ('a ‑> 'b) ‑> ('b, 'i, 'j) t
module Let_syntax : sig ... end