sig
  type ('x, 'a) t = ('a -> 'x) -> 'x
  module Op :
    sig
      val ( >>= ) :
        ('x, 'a) Cf_cmonad.t ->
        ('a -> ('x, 'b) Cf_cmonad.t) -> ('x, 'b) Cf_cmonad.t
    end
  val nil : ('x, unit) Cf_cmonad.t
  val return : 'a -> ('x, 'a) Cf_cmonad.t
  val init : 'x -> ('x, 'a) Cf_cmonad.t
  val cont : ('x -> 'x) -> ('x, unit) Cf_cmonad.t
  val eval : ('x, unit) Cf_cmonad.t -> 'x -> 'x
end