From 6f3fa80b37ca5f8d992f5d6f66aee77ead303bf4 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Mon, 26 May 2025 14:42:35 +0200 Subject: Symbol table --- ppc.sig | 2 ++ 1 file changed, 2 insertions(+) (limited to 'ppc.sig') diff --git a/ppc.sig b/ppc.sig index 0bfaca7..f700634 100644 --- a/ppc.sig +++ b/ppc.sig @@ -21,5 +21,7 @@ signature PPC = sig val getToken: t -> T.token * tkPos * t val debugPrint: string -> string list -> unit + val ? : (int, 'a, 'b, 'c) a1printer + val Ptk: (T.token, 'a, 'b, 'c) a1printer val PtkPos: (tkPos, 'a, 'b, 'c) a1printer end -- cgit v1.2.3