/* Simple test for case expressions */
factorial : n -> case n of
    0 : 1
    _ : n * (factorial (n - 1));

test : factorial 5;
..out test;