Functor Container_unit_tests.Test_generic

module Test_generic: 
functor (Elt : sig
type 'a t 
val of_int : int -> int t
val to_int : int t -> int
end) ->
functor (Container : sig
type 'a t 
include Generic
val of_list : 'a Elt.t list -> 'a t
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
end) -> sig .. end
Parameters:
Elt : sig type 'a t val of_int : int -> int t val to_int : int t -> int end
Container : sig type 'a t with sexp include Generic with type 'a t := 'a t with type 'a elt := 'a Elt.t val of_list : 'a Elt.t list -> 'a t end

val find : 'a Container.t -> f:('a Elt.t -> bool) -> 'a Elt.t option
val find_map : 'a Container.t -> f:('a Elt.t -> 'b option) -> 'b option
val fold : 'a Container.t -> init:'b -> f:('b -> 'a Elt.t -> 'b) -> 'b
val is_empty : 'a Container.t -> bool
val iter : 'a Container.t -> f:('a Elt.t -> unit) -> unit
val length : 'a Container.t -> int
val mem : ?equal:('a Elt.t -> 'a Elt.t -> bool) -> 'a Container.t -> 'a Elt.t -> bool
val sexp_of_t : ('a -> Sexplib.Sexp.t) -> 'a Container.t -> Sexplib.Sexp.t
val t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a Container.t
val to_array : 'a Container.t -> 'a Elt.t array
val to_list : 'a Container.t -> 'a Elt.t list
val count : 'a Container.t -> f:('a Elt.t -> bool) -> int
val exists : 'a Container.t -> f:('a Elt.t -> bool) -> bool
val for_all : 'a Container.t -> f:('a Elt.t -> bool) -> bool