/* Test what the function call evaluates to */ is_even : n -> n % 2 = 0; test_value : n -> when is_even n is is_even n then "same value" true then "true" false then "false" _ then "other"; result : test_value 4; ..out result;