Merge pull request #148 from AntoineBut/patch-1

Fixed errors in any and pair notes

Author: ViralBShah

docs/src/binaryops.md

@@ -40,8 +40,8 @@ All built-in binary operators can be found below:
 |:----------------|----------------:|------------------------------------------------------   |
 | `first`           | `FIRST`          | `first(x, y) = x`                                    |
 | `second`          | `SECOND`         | `second(x, y) = y`                                   |
-| `any`             | `ANY`            | `any(x, y) = 1` if `x` **or** `y` are stored values  |
-| `pair`            | `PAIR`           | `any(x, y) = 1` if `x` **and** `y` are stored values |
+| `any`             | `ANY`            | `any(x, y)` can return either `x` or `y`. The result is non-deterministic.|
+| `pair`            | `PAIR`           | `pair(x, y) = 1` if `x` **and** `y` are stored values|
 | `+`               | `PLUS`           |                                                      |
 | `-`               | `MINUS`          |                                                      |
 | `rminus`          | `RMINUS`         |                                                      |
@@ -88,4 +88,4 @@ All built-in binary operators can be found below:
 | `secondi0`        | `SECONDI`        | `secondi0(A[i,j], B[k,l]) = k - 1`                   |
 | `secondi`         | `SECONDI1`       | `secondi(A[i,j], B[k,l]) = k`                        |
 | `secondj0`        | `SECONDJ`        | `secondj0(A[i,j], B[k,l]) = l - 1`                   |
-| `secondj`         | `SECONDJ1`       | `secondj(A[i,j], B[k,l]) = l`                        |
+| `secondj`         | `SECONDJ1`       | `secondj(A[i,j], B[k,l]) = l`                        |