// The factorial function

let rec fact = function
  | 0 -> 1
  | n -> n * fact(n-1);;