Terms.casl.output revision ec676ed8bdc0f0a1d52793db1d75eb0c8d6f0f05
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
*
**
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