structure S = struct val x = 3; fun f(x) = if x=0 then 1 else x*f(x-1) end;