API Version 4.07
< General Index
Misc.Stdlib.Array
sig
val
exists2 : (
'
a
->
'
b
->
bool)
->
'
a array
->
'
b array
->
bool
end
The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from
this page
.