language-ats-0.2.0.0: test/data/factorial.out

fun factorial_recursion {n:nat} .<n>. (n : int(n)) : int =
  // case
  case+ n of
    | 0 => 1
    | n =>> factorial_recursion(n - 1) * n