From 6f3fa80b37ca5f8d992f5d6f66aee77ead303bf4 Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Mon, 26 May 2025 14:42:35 +0200
Subject: Symbol table

---
 common.sml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'common.sml')

diff --git a/common.sml b/common.sml
index e947e0f..e648203 100644
--- a/common.sml
+++ b/common.sml
@@ -175,6 +175,10 @@ val R = fn z => bind A1 (fn ((output, _), n) => app (fn f => f ())
 type ('t, 'a, 'b, 'c) a1printer = (bool * ((string -> unit) * 'a)) * 'b
         -> 't -> ((bool * ((string -> unit) * 'a)) * 'b -> 'c) -> 'c
 
+type ('t1, 't2, 'a, 'b, 'c) a2printer =
+    (bool * ((string -> unit) * 'a)) * 'b -> 't1 -> 't2 ->
+        ((bool * ((string -> unit) * 'a)) * 'b -> 'c) -> 'c
+
 fun die code g =
 let
   fun finish (true, _) = raise Unreachable
-- 
cgit v1.2.3