(:*******************************************************:) | |
(:Test: op-time-equal2args-13 :) | |
(:Written By: Carmelo Montanez :) | |
(:Date: June 3, 2005 :) | |
(:Purpose: Evaluates The "op:time-equal" operator (le) :) | |
(: with the arguments set as follows: :) | |
(:$arg1 = xs:time(upper bound) :) | |
(:$arg2 = xs:time(lower bound) :) | |
(:*******************************************************:) | |
xs:time("23:59:59Z") le xs:time("00:00:00Z") |