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