sig
val
f :
'
a array
->
'
a array
->
bool array * bool array
end