fact : int -> int def fact n = if n <= 1 then 1 else n * (fact (n - 1)); main : int -> int def main x = fact x;