Terms.casl revision fd28ce71068bc46a4e1bba587a978206959c62ab
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder({}, [], {[]{}})
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder{{}, [], {[]{}}}
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder[{}, [], {[]{}}]
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op __<__ : a)
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op __<__ :a ->b)
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op __<__ :a ->?b)
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op __<__ :a ->? b)
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op __<__ : bb)
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op __<__ :? bb)
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op __<__ : ? a)
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(op __<__ : a)
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(predy y : bb)
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedera when b else c
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maedera b when b c else a f g when f a f else f a f g when f a f else f
4654dbb45f8a4aea7aa5fed6be22c9efff19bfcaChristian Maeder(pred y : bb) %[accepted for technical reason]%