| changeset 4122 | f63c283cefaf |
| parent 2570 | 24d7e8fb8261 |
| child 9169 | 85a47aa21f74 |
| 4121:390e10ddadf2 | 4122:f63c283cefaf |
|---|---|
6 general Stream domain |
6 general Stream domain |
7 *) |
7 *) |
8 |
8 |
9 Stream = HOLCF + |
9 Stream = HOLCF + |
10 |
10 |
11 domain 'a stream = "&&" (ft::'a) (lazy rt::'a stream) (cinfixr 65) |
11 domain 'a stream = "&&" (ft::'a) (lazy rt::'a stream) (infixr 65) |
12 |
12 |
13 end |
13 end |
14 |
14 |
15 |
15 |