From 183a4420d2f2a985dd26d76e63c2cdcaafedc5ad Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Sun, 18 May 2025 12:07:58 +0200 Subject: Conditional inclusion --- stream.sig | 1 + 1 file changed, 1 insertion(+) (limited to 'stream.sig') diff --git a/stream.sig b/stream.sig index 8c94adc..7e0f45b 100644 --- a/stream.sig +++ b/stream.sig @@ -20,6 +20,7 @@ signature STREAM = sig val EOFpos: t -> pos * t val getSubstr: fileOffset -> fileOffset -> t -> string + val getLine: t -> string option * t val getFname: t -> string (* both throw IO.Io *) -- cgit v1.2.3