sig
val
( +| ) : int array
->
int array
->
int array
end