Up
Module
Test_generic
(
Elt
: sig .. end) (
Container
: sig .. end)
Parameters
Elt
: sig .. end
Container
: sig .. end
Signature
type
'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
include
Container.Generic
with
type
'a
t
:= 'a
t
type
'a t
type
'a elt
val
mem : ?equal:('a
elt
-> 'a
elt
-> bool) -> 'a
t
-> 'a
elt
-> bool
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
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
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