sig
  type 'a t
  val fold :
    'Container_intf.Make_arg.t ->
    init:'accum -> f:('accum -> '-> 'accum) -> 'accum
  val iter :
    [ `Custom of 'Container_intf.Make_arg.t -> f:('-> unit) -> unit
    | `Define_using_fold ]
end