(:*******************************************************:) | |
(:Written By: Carmelo Montanez (Automatic Generation) :) | |
(:Date: January 18, 2005 :) | |
(:Purpose: Test of a ComparisonExpression :) | |
(:with the operands set as follows :) | |
(: operand1 = empty Sequence:) | |
(: operator = is:) | |
(: operand2 = empty Sequence:) | |
(:*******************************************************:) | |
count(() is ()) |