(:*******************************************************:) | |
(:Test: op-time-equal2args-14 :) | |
(: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(lower bound) :) | |
(:$arg2 = xs:time(mid range) :) | |
(:*******************************************************:) | |
xs:time("00:00:00Z") le xs:time("08:03:35Z") |