module Op:sig
..end
The continuation monad: a function for passing intermediate results from continuation context to continuation context with an encapsulated state value at each stage.
val (>>=) : ('s, 'x, 'a) Cf_scmonad.t ->
('a -> ('s, 'x, 'b) Cf_scmonad.t) -> ('s, 'x, 'b) Cf_scmonad.t
Use m >>= f
to produce a monad that applies f
to the result of
evaluating m
.