let function fact(n : int) : int = if n < 1 then 1 else (n * fact(n - 1)) in fact(10) end