module Op:sig
..end
A module containing the ( >>= )
binding operator for composition of state
monads.
val (>>=) : ('s, 'a) Cf_smonad.t -> ('a -> ('s, 'b) Cf_smonad.t) -> ('s, 'b) Cf_smonad.t
Use m >>= f
to produce a monad that applies f
to the result of
evaluating m
.