implementation module fac

import StdEnv

fac :: !Int -> Int
fac 0 = 1
fac n = n * fac (n-1)