blob: e8fa29772e671e83f2b597fa60d4b0b15ceb68fe [file] [log] [blame]
(:*******************************************************:)
(:Test: sumpint2args-3 :)
(:Written By: Carmelo Montanez :)
(:Date: Fri Dec 10 10:15:47 GMT-05:00 2004 :)
(:Purpose: Evaluates The "sum" function :)
(: with the arguments set as follows: :)
(:$arg = xs:positiveInteger(upper bound) :)
(:$zero = xs:positiveInteger(lower bound) :)
(:*******************************************************:)
fn:sum((xs:positiveInteger("999999999999999998"),xs:positiveInteger("1")))