Parameter Core_kernel__.Container_unit_tests.Test_generic.2-Container

type 'a t
include sig ... end
val t_of_sexp : (Sexplib.Sexp.t ‑> 'a) ‑> Sexplib.Sexp.t ‑> 'a t
val sexp_of_t : ('a ‑> Sexplib.Sexp.t) ‑> 'a t ‑> Sexplib.Sexp.t
include Core_kernel.Container.Generic with type a t := a t with type a elt := a Elt.t
type 'a t
type 'a elt
val length : _ t ‑> int
val is_empty : _ t ‑> bool
val iter : 'a t ‑> f:('a elt ‑> unit) ‑> unit
val fold : 'a t ‑> init:'accum ‑> f:('accum ‑> 'a elt ‑> 'accum) ‑> 'accum
val fold_result : 'a t ‑> init:'accum ‑> f:('accum ‑> 'a elt ‑> ('accum, 'e) Base.Result.t) ‑> ('accum, 'e) Base.Result.t
val fold_until : 'a t ‑> init:'accum ‑> f:('accum ‑> 'a elt ‑> ('accum, 'stop) Base.Container_intf.Continue_or_stop.t) ‑> ('accum, 'stop) Base.Container_intf.Finished_or_stopped_early.t
val exists : 'a t ‑> f:('a elt ‑> bool) ‑> bool
val for_all : 'a t ‑> f:('a elt ‑> bool) ‑> bool
val count : 'a t ‑> f:('a elt ‑> bool) ‑> int
val sum : (module Base.Commutative_group.S with type t = 'sum) ‑> 'a t ‑> f:('a elt ‑> 'sum) ‑> 'sum
val find : 'a t ‑> f:('a elt ‑> bool) ‑> 'a elt option
val find_map : 'a t ‑> f:('a elt ‑> 'b option) ‑> 'b option
val to_list : 'a t ‑> 'a elt list
val to_array : 'a t ‑> 'a elt array
val min_elt : 'a t ‑> cmp:('a elt ‑> 'a elt ‑> int) ‑> 'a elt option
val max_elt : 'a t ‑> cmp:('a elt ‑> 'a elt ‑> int) ‑> 'a elt option
val mem : 'a t ‑> 'a Elt.t ‑> Core_kernel__.Import.bool
val of_list : 'a Elt.t Core_kernel__.Import.list ‑> 'a t