blob: 758d497e1643c4b41b6877f742e99246dbf83987 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
=====
Name: False
OccString: 'False'
DataCon: Data constructor ‘False’
=====
Name: :
OccString: ':'
DataCon: Data constructor ‘:’
=====
Name: :->
OccString: ':->'
DataCon: Data constructor ‘:->’
=====
Name: :->.
OccString: ':->.'
DataCon: Data constructor ‘:->.’
=====
Name: :->.+
OccString: ':->.+'
DataCon: Data constructor ‘:->.+’
|
