Sequence.Generator
include Monad.S2
module Let_syntax : sig ... end
module Monad_infix : sig ... end
Same as Infix
, except the monad type has two arguments. The second is always just passed through.
val return : 'a -> ('a, _) t
val yield : 'elt -> (unit, 'elt) t