1 2 3 4 5 6 7
/* Simple test for case expressions */ factorial : n -> case n of 0 : 1 _ : n * (factorial (n - 1)); test : factorial 5; ..out test;