diff options
author | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-04 15:12:55 +0200 |
---|---|---|
committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-04 15:12:55 +0200 |
commit | 396ebf0c76153e5e1e9dc77371bdd02b4d3d85d1 (patch) | |
tree | 3c2aab25631581d5367a6288c2eb9e0f812d76b0 /stream.sig | |
parent | 671760c2b5857312cac178f24cad8686c1d4b719 (diff) |
Flattening of initializers
Diffstat (limited to 'stream.sig')
-rw-r--r-- | stream.sig | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -25,6 +25,7 @@ signature STREAM = sig (* both throw IO.Io *) val create: string -> t val createFromInstream: string -> TextIO.instream -> t + val createFromString: string -> t val getOffset: t -> fileOffset val isFirstOnLine: t -> fileOffset -> bool |