Is the below function correct? Does it execute properly for all inputs?

declare

PowA

local

PowAcc

in

PowAcc = fun {$ X N Acc}

if N==0 then Acc

else {PowAcc X N-1 X*Acc}

end

end

PowA = fun {$ X N} {PowAcc X N 1} end

end