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

fun f = { x: x < 3,
          x^2: 3 < x < 4
        };
fun g = { x^2: 6 < x < 7,
          x^7: x > 8
        };
fun h = f o g;