Module Cf_smonad.Op

module Op: sig .. end

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.