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