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