Generic (base.Base.Container.Generic)

type ('a, 'phantom) t

type 'a elt

val length : ('a, 'b) t -> int

val is_empty : ('a, 'b) t -> bool

val mem : ('a, 'b) t -> 'a elt -> equal:('a elt -> 'a elt -> bool) -> bool

val iter : ('a, 'b) t -> f:('a elt -> unit) -> unit

val fold : ('a, 'b) t -> init:'acc -> f:('acc -> 'a elt -> 'acc) -> 'acc

val fold_result : 
  ('a, 'b) t ->
  init:'acc ->
  f:('acc -> 'a elt -> ('acc, 'e) result) ->
  ('acc, 'e) result

val fold_until : 
  ('a, 'b) t ->
  init:'acc ->
  f:
    ('acc ->
      'a elt ->
      ('acc, 'final) Base__Container_intf.Export.Continue_or_stop.t) ->
  finish:('acc -> 'final) ->
  'final

val exists : ('a, 'b) t -> f:('a elt -> bool) -> bool

val for_all : ('a, 'b) t -> f:('a elt -> bool) -> bool

val count : ('a, 'b) t -> f:('a elt -> bool) -> int

val sum : 
  (module Base__Container_intf.Summable with type t = 'sum) ->
  ('a, 'b) t ->
  f:('a elt -> 'sum) ->
  'sum

val find : ('a, 'b) t -> f:('a elt -> bool) -> 'a elt option

val find_map : ('a, 'c) t -> f:('a elt -> 'b option) -> 'b option

val to_list : ('a, 'b) t -> 'a elt list

val to_array : ('a, 'b) t -> 'a elt array

val min_elt : ('a, 'b) t -> compare:('a elt -> 'a elt -> int) -> 'a elt option

val max_elt : ('a, 'b) t -> compare:('a elt -> 'a elt -> int) -> 'a elt option