From 5edd85474d6d8f3a0cc06cc0250ed3db8b26fcfa Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Sat, 17 May 2025 14:45:50 +0200
Subject: Function-like macros

---
 stream.sig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'stream.sig')

diff --git a/stream.sig b/stream.sig
index 7925285..8c94adc 100644
--- a/stream.sig
+++ b/stream.sig
@@ -8,7 +8,7 @@ signature STREAM = sig
 
   exception EOF
 
-  val pos2str: pos -> string
+  val Ppos: (pos, 'a, 'b) a1printer
 
   val getchar: t -> char option * t
   val getcharEx: t -> char * t (* throws EOF *)
-- 
cgit v1.2.3