module namespace mvk = "http://wwwhome.cs.utwente.nl/~keulen/";

declare function mvk:product($seq as xs:decimal*) as xs:decimal
{ 
	if (count($seq) gt 0)
	then exactly-one($seq[1]) * mvk:product($seq[position() gt 1])
	else 1.0
};