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