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