# Factorial function in Bosatsu
package Factorial

def factorial(n: Int) -> Int:
  match n:
    case 0: 1
    case _: n.times(factorial(n.sub(1)))

def main(_args):
  result = factorial(5)
  trace("Factorial of 5 is", result)