1 2 3 4 5 6 7 8 9 10 11 12
fac : fn int -> int = fn a: int -> int { if a <= 1 { ret 1 } b := fac(a - 1) ret a * b } print fac(5) // print b(fn a: int -> { // print a // })