Container (base.Base.Container)

module Continue_or_stop : sig ... end

module type S0 = sig ... end

module type S0_phantom = sig ... end

module type S0_with_creators = sig ... end

module type S1 = sig ... end

module type S1_phantom = sig ... end

module type S1_with_creators = sig ... end

module type Derived = sig ... end

module type Generic = sig ... end

module type Generic_with_creators = sig ... end

module type Summable = sig ... end

type (!'t, !'a, !'acc) fold = 't -> init:'acc -> f:('acc -> 'a -> 'acc) -> 'acc

type (!'t, !'a) iter = 't -> f:('a -> unit) -> unit

type !'t length = 't -> int

val iter : fold:('t, 'a, unit) fold -> ('t, 'a) iter

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

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

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

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

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

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

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

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

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

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

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

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

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

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

val to_array : length:'t length -> iter:('t, 'a) iter -> 't -> 'a array

module Make (T : sig ... end) : sig ... end

module Make0 (T : sig ... end) : sig ... end

module Make_gen (T : sig ... end) : sig ... end

module Make_with_creators (T : sig ... end) : sig ... end

module Make0_with_creators (T : sig ... end) : sig ... end

module Make_gen_with_creators (T : sig ... end) : sig ... end