| (:*******************************************************:) | |
| (:Test: op-boolean-equal-17 :) | |
| (:Written By: Carmelo Montanez :) | |
| (:Date: March 26, 2006 :) | |
| (:Purpose: Evaluates cardinality violation on a sequence :) | |
| (: of two or more items. :) | |
| (:*******************************************************:) | |
| let $e := (0,1) | |
| return $e eq 0 |