Terms.casl.output revision ec676ed8bdc0f0a1d52793db1d75eb0c8d6f0f05
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
ec676ed8bdc0f0a1d52793db1d75eb0c8d6f0f05Christian Maeder(12.23E34) : a as a : a
ec676ed8bdc0f0a1d52793db1d75eb0c8d6f0f05Christian Maeder- __ (- __ ((a))) : a
ec676ed8bdc0f0a1d52793db1d75eb0c8d6f0f05Christian Maeder__ ! (__ ! (a)) : a
ec676ed8bdc0f0a1d52793db1d75eb0c8d6f0f05Christian Maeder__ + __ ((a), b) : c
ec676ed8bdc0f0a1d52793db1d75eb0c8d6f0f05Christian Maeder- ((op f__ : a -> a) (a) !) : a