equal
deleted
inserted
replaced
83 |
83 |
84 val toList : 'a stream -> 'a list |
84 val toList : 'a stream -> 'a list |
85 |
85 |
86 val fromList : 'a list -> 'a stream |
86 val fromList : 'a list -> 'a stream |
87 |
87 |
|
88 val toString : char stream -> string |
|
89 |
|
90 val fromString : string -> char stream |
|
91 |
88 val toTextFile : {filename : string} -> string stream -> unit |
92 val toTextFile : {filename : string} -> string stream -> unit |
89 |
93 |
90 val fromTextFile : {filename : string} -> string stream (* line by line *) |
94 val fromTextFile : {filename : string} -> string stream (* line by line *) |
91 |
95 |
92 end |
96 end |