sig
  type 'a t
  type ('a, 'b) op
  val apply : ('a, 'b) CCBatch.S.op -> 'a CCBatch.S.t -> 'b CCBatch.S.t
  val apply_fold :
    ('a, 'b) CCBatch.S.op -> ('c -> 'b -> 'c) -> 'c -> 'a CCBatch.S.t -> 'c
  val apply' : 'a CCBatch.S.t -> ('a, 'b) CCBatch.S.op -> 'b CCBatch.S.t
  val id : ('a, 'a) CCBatch.S.op
  val map : ('a -> 'b) -> ('a, 'b) CCBatch.S.op
  val filter : ('a -> bool) -> ('a, 'a) CCBatch.S.op
  val filter_map : ('a -> 'b option) -> ('a, 'b) CCBatch.S.op
  val flat_map : ('a -> 'b CCBatch.S.t) -> ('a, 'b) CCBatch.S.op
  val extern : ('a CCBatch.S.t -> 'b CCBatch.S.t) -> ('a, 'b) CCBatch.S.op
  val compose :
    ('b, 'c) CCBatch.S.op -> ('a, 'b) CCBatch.S.op -> ('a, 'c) CCBatch.S.op
  val ( >>> ) :
    ('a, 'b) CCBatch.S.op -> ('b, 'c) CCBatch.S.op -> ('a, 'c) CCBatch.S.op
end