From 546a5861526192a908f2aa2bfc3cfe4f3f3baf43 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Sat, 31 May 2025 19:30:21 +0200 Subject: Proper constant parsing --- ppc.sig | 1 + 1 file changed, 1 insertion(+) (limited to 'ppc.sig') diff --git a/ppc.sig b/ppc.sig index 53d4ed2..210489b 100644 --- a/ppc.sig +++ b/ppc.sig @@ -24,6 +24,7 @@ signature PPC = sig val debugPrint: string -> string list -> unit val ? : (int, 'a, 'b, 'c) a1printer + val ?? : int -> string val psid: int -> 'a acc -> unit val Ptk: (T.token, 'a, 'b, 'c) a1printer val PtkPos: (tkPos, 'a, 'b, 'c) a1printer -- cgit v1.2.3