sig
val
exists2 : (
'
a
->
'
b
->
bool)
->
'
a array
->
'
b array
->
bool
end