*

**

a_a

__

123

1.2

1

1.2E3

0E1

12.23E34

"bla"

""

<

<=

.a

'a'

< [a, b]

<= [a, b]

.a [a, b]

'a' [a, b]

__ * __

(a __ b)

(a __ b) a

b(a __ b)

b (a __ b) a

{a __ b}

{a __ b} a

b {a __ b}

b {a __ b} a

[a __ b]

[a __ b] a

b [a __ b]

b [a __ b] a

({}, [], {[] {}})

{{}, [], {[] {}}}

[{}, [], {[] {}}]

(var y : bb)

(op y : bb)

(op __<__ : a)

(op __<__ : a -> b)

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

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

(op __<__ : bb)

(op __<__ :? bb)

(op __<__ :? a)

(op __<__ : a)

(op __<__ : a)

ys as b

(predy y : bb)

(predy : bb)

(predy : bb)

a when b else c

# as b

a b when b c else a f g when f a f else f a f g when f a f else f

(pred y : bb)

(pred y : bb)

(pred y : ())

12.23E-34

+ 12.23E+34

- 12.23E-34

- 12.23E34

- 1

+ 2

(12.23E34) : a as a : a

- __ (- __ ((a))) : a

__ ! (__ ! (a)) : a

__ + __ ((a), b) : c

- ((op f__ : a -> a) (a) !) : a