sig
  type 'a t
  val empty : 'a CCBatch.COLLECTION.t
  val fold : ('a -> 'b -> 'a) -> 'a -> 'b CCBatch.COLLECTION.t -> 'a
  val map : ('a -> 'b) -> 'a CCBatch.COLLECTION.t -> 'b CCBatch.COLLECTION.t
  val filter :
    ('a -> bool) -> 'a CCBatch.COLLECTION.t -> 'a CCBatch.COLLECTION.t
  val filter_map :
    ('a -> 'b option) -> 'a CCBatch.COLLECTION.t -> 'b CCBatch.COLLECTION.t
  val flat_map :
    ('a -> 'b CCBatch.COLLECTION.t) ->
    'a CCBatch.COLLECTION.t -> 'b CCBatch.COLLECTION.t
end