From 90854ccf3514dc67a30556500e1716dd1933954c Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Tue, 25 Mar 2025 01:45:47 +0100 Subject: Adequate token printing --- stream.sig | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'stream.sig') diff --git a/stream.sig b/stream.sig index c09b7c1..795d193 100644 --- a/stream.sig +++ b/stream.sig @@ -5,7 +5,7 @@ signature STREAM = sig type ppos (* pretty pos *) type t - type fileInfo + type fileInfo = fileId * string * string val convert: t -> fileInfo -- cgit v1.2.3