568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder*

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder**

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maedera_a

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder__

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder123

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder1.2

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder1

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder1.2E3

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder12.23E34

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder"bla"

e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder""

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder<

e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder<=

e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder.a

e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder'a'

e8ffec0fa3d3061061bdc16e44247b9cf96b050fChristian Maeder< [a, b]

fd5d3885a092ac0727fa2436cdfc3b248318ebd8Christian Maeder<= [a, b]

30203b61afb4393c8e459470b3a16d1fe26acc7fChristian Maeder.a [a, b]

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder'a' [a, b]

ac510075311023bf24175f7a76b89ec2bbda0626Christian Maeder__ * __

ac510075311023bf24175f7a76b89ec2bbda0626Christian Maeder(a __ b)

c4e912fc181d72c8d0e0e38d0351278182f0d0b5Christian Maeder(a __ b) a

c4e912fc181d72c8d0e0e38d0351278182f0d0b5Christian Maederb (a __ b)

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maederb (a __ b) a

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder{a __ b}

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder{a __ b} a

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maederb {a __ b}

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maederb {a __ b} a

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder[a __ b]

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder[a __ b] a

1d330b771706686190ad2f3711ec5769c555c708Christian Maederb [a __ b]

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maederb [a __ b] a

ac510075311023bf24175f7a76b89ec2bbda0626Christian Maeder({}, [], {[] {}})

ac510075311023bf24175f7a76b89ec2bbda0626Christian Maeder{{}, [], {[] {}}}

c18e9c3c6d5039618f1f2c05526ece84c7794ea3Christian Maeder[{}, [], {[] {}}]

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder(var y : bb)

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder(op y : bb)

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder(op __<__ : a)

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder(op __<__ : a -> b)

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder(op __<__ : a ->? b)

e05956d1da3c97e4d808926f97c6841c4a561991Christian Maeder(op __<__ : a ->? b)

fe883661c9d1a5a8b42ac4e8673ec133d9dad354Christian Maeder(op __<__ : bb)

c18e9c3c6d5039618f1f2c05526ece84c7794ea3Christian Maeder(op __<__ :? bb)

c18e9c3c6d5039618f1f2c05526ece84c7794ea3Christian Maeder(op __<__ :? a)

ac510075311023bf24175f7a76b89ec2bbda0626Christian Maeder(op __<__ : a)

ac510075311023bf24175f7a76b89ec2bbda0626Christian Maeder(op __<__ : a)

c18e9c3c6d5039618f1f2c05526ece84c7794ea3Christian Maederys as b

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder(predy y :bb)

ac510075311023bf24175f7a76b89ec2bbda0626Christian Maeder(predy :bb)

ac510075311023bf24175f7a76b89ec2bbda0626Christian Maeder(predy :bb)

8a1f427564a5ae2db32332512237ef645289c34dChristian Maedera when b else c

613c474338a210f2aad9817376e5a3ce1fdde886Christian Maeder# as b

613c474338a210f2aad9817376e5a3ce1fdde886Christian Maedera b when b c else a f g when f a f else f a f g when f a f else f

568a1ce407fd05a2007c5db3c5c57098bf13997fChristian Maeder(pred y : bb)

8a1f427564a5ae2db32332512237ef645289c34dChristian Maeder(pred y : bb)

6e5180855658f12f9059d9041f447bf0935de344Christian Maeder(pred y : ())

8a1f427564a5ae2db32332512237ef645289c34dChristian Maeder