# compute x! let rec fac x = if (equal x 1) 1 (mult x (fac (minus x 1))) in fac 12