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