bfbcompiler/doc/examples/correct/use-case-01.b

fun h = 3*x;
function g = { x - 2: x < 3,
               x^3: x >= 5,
               x: x > 7
             };
fun h = x/(x-2);

evaluate f in (3);
g(5);
evaluate g in (4);
g(2);
h(2);