| (:*******************************************************:) | |
| (: Test: fn-indexof-mix-args-010.xq :) | |
| (: Written By: Pulkita Tyagi :) | |
| (: Date: Thu May 12 23:20:25 2005 :) | |
| (: Purpose: arg1: Sequence of double, arg2: double :) | |
| (:*******************************************************:) | |
| fn:index-of((xs:double('INF')), fn:exactly-one(xs:double('INF'))) | |