tree 6654d865b4125bf1fc4c076dd6a5f2d23377e24c
parent d873f03a48f5bf0caf0c0a413404767bd701ea09
author Yingyi Bu <yingyi@couchbase.com> 1473833649 -0700
committer Yingyi Bu <buyingyi@gmail.com> 1473873369 -0700

Add ANY as a synonym to SOME for existential quantifiers.

Change-Id: I306a313a0785554eda79182efd8382a3d2697d2f
Reviewed-on: https://asterix-gerrit.ics.uci.edu/1173
Sonar-Qube: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Integration-Tests: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Michael Blow <mblow@apache.org>