From 396ebf0c76153e5e1e9dc77371bdd02b4d3d85d1 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Mon, 4 Aug 2025 15:12:55 +0200 Subject: Flattening of initializers --- stream.sig | 1 + 1 file changed, 1 insertion(+) (limited to 'stream.sig') 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 -- cgit v1.2.3