declare fun {Product Ls} fun {ProductMult Ls Mult} case Ls of E|Es then if E==0 then 0 else {ProductMult Es E*Mult} end else Mult end end in {ProductMult Ls 1} end