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 (>>=) : ('a, 'b, 'c) Cf_scmonad.t ->
('c -> ('a, 'b, 'd) Cf_scmonad.t) -> ('a, 'b, 'd) Cf_scmonad.t
Use m >>= f to produce a monad that applies f to the result of evaluating m.