Module Cf_cmonad.Op


module Op: sig .. end
A module containing the ( >>= ) binding operator for composition of continuation monads.

val (>>=) : ('a, 'b) Cf_cmonad.t -> ('b -> ('a, 'c) Cf_cmonad.t) -> ('a, 'c) Cf_cmonad.t
Use m >>= f to produce a monad that applies f to the result of evaluating m.