diff options
Diffstat (limited to 'stream.sig')
-rw-r--r-- | stream.sig | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -8,7 +8,7 @@ signature STREAM = sig exception EOF - val pos2str: pos -> string + val Ppos: (pos, 'a, 'b) a1printer val getchar: t -> char option * t val getcharEx: t -> char * t (* throws EOF *) |