equal
deleted
inserted
replaced
5 *) |
5 *) |
6 |
6 |
7 signature SYMBOL = |
7 signature SYMBOL = |
8 sig |
8 sig |
9 type symbol = string |
9 type symbol = string |
10 val SOH: symbol |
|
11 val STX: symbol |
10 val STX: symbol |
12 val ENQ: symbol |
|
13 val ACK: symbol |
|
14 val DEL: symbol |
11 val DEL: symbol |
15 val space: symbol |
12 val space: symbol |
16 val spaces: int -> string |
13 val spaces: int -> string |
17 val is_char: symbol -> bool |
14 val is_char: symbol -> bool |
18 val is_utf8: symbol -> bool |
15 val is_utf8: symbol -> bool |
87 actual interpretation in display is up to front-end tools. |
84 actual interpretation in display is up to front-end tools. |
88 *) |
85 *) |
89 |
86 |
90 type symbol = string; |
87 type symbol = string; |
91 |
88 |
92 val SOH = chr 1; |
|
93 val STX = chr 2; |
89 val STX = chr 2; |
94 val ENQ = chr 5; |
|
95 val ACK = chr 6; |
|
96 val DEL = chr 127; |
90 val DEL = chr 127; |
97 |
91 |
98 val space = chr 32; |
92 val space = chr 32; |
99 |
93 |
100 local |
94 local |