(:*******************************************************:) | |
(: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 |