# Module Cf_scmonad.Op

    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`.