Terms.casl.output revision 59316321b20af89de1c2d4cd53183e04b72662c4
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(op __<__ : a)
59316321b20af89de1c2d4cd53183e04b72662c4Christian 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