summaryrefslogtreecommitdiff
path: root/stream.sig
diff options
context:
space:
mode:
authorVladimir Azarov <avm@intermediate-node.net>2025-08-04 15:12:55 +0200
committerVladimir Azarov <avm@intermediate-node.net>2025-08-04 15:12:55 +0200
commit396ebf0c76153e5e1e9dc77371bdd02b4d3d85d1 (patch)
tree3c2aab25631581d5367a6288c2eb9e0f812d76b0 /stream.sig
parent671760c2b5857312cac178f24cad8686c1d4b719 (diff)
Flattening of initializers
Diffstat (limited to 'stream.sig')
-rw-r--r--stream.sig1
1 files changed, 1 insertions, 0 deletions
diff --git a/stream.sig b/stream.sig
index 22d7a31..5cff5b1 100644
--- a/stream.sig
+++ b/stream.sig
@@ -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