Up
Module type
Generic_phantom
Signature
type
('a, 'phantom) 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