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