blob: 72d3fd7187a9102aeeb37b271828bc28eb4f6aa5 [file] [log] [blame]
(:*******************************************************:)
(:Test: sumpint2args-1 :)
(: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(lower bound) :)
(:$zero = xs:positiveInteger(lower bound) :)
(:*******************************************************:)
fn:sum((xs:positiveInteger("1"),xs:positiveInteger("1")))