sig
  type ('a, +'b) container
  val length : ('a, 'b) Container.S1_phantom_noclass.container -> int
  val is_empty : ('a, 'b) Container.S1_phantom_noclass.container -> bool
  val iter :
    ('a, 'b) Container.S1_phantom_noclass.container -> f:('a -> unit) -> unit
  val fold :
    ('a, 'b) Container.S1_phantom_noclass.container ->
    init:'c -> f:('c -> 'a -> 'c) -> 'c
  val exists :
    ('a, 'b) Container.S1_phantom_noclass.container -> f:('a -> bool) -> bool
  val for_all :
    ('a, 'b) Container.S1_phantom_noclass.container -> f:('a -> bool) -> bool
  val find :
    ('a, 'b) Container.S1_phantom_noclass.container ->
    f:('a -> bool) -> 'a option
  val to_list : ('a, 'b) Container.S1_phantom_noclass.container -> 'a list
  val to_array : ('a, 'b) Container.S1_phantom_noclass.container -> 'a array
end