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]%
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