It’s a generalization of zip, its signature would be the following:

trait IterableOps[A, CC[_], C] {
  def zipWith[B, R](that: Iterable[B])(f: (A, B) => R): CC[R]
}

Semantically speaking, (xs zip ys) map f is equivalent to xs.zipWith(ys)(f).