Module Cf_smonad.Op


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

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