module namespace stm = "http://www.cwi.nl/~manegold/";

declare function stm:product($seq as xs:decimal*) as xs:decimal
{ 
	sum($seq)
};