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