From 47ce22ee86ad9fb329585e7d9ae2052772248c95 Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Mon, 11 Aug 2025 16:23:42 +0200
Subject: IrJmpc

---
 parser.sig | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'parser.sig')

diff --git a/parser.sig b/parser.sig
index 0577d36..0406052 100644
--- a/parser.sig
+++ b/parser.sig
@@ -90,7 +90,7 @@ signature PARSER = sig
     | Nfloat of Real32.real
     | Ndouble of Real64.real
 
-  and id = Lid of int | Gid of int * bool
+  and id = Lid of int | Gid of int
 
   and expr =
     Eid of int * id option |
@@ -152,10 +152,12 @@ signature PARSER = sig
   val alignOfType: ctype -> word
   val sizeOfType: ctype -> word
 
+  val isFunc: ctype -> bool
   val isSigned: ctype -> bool
   val isPointer: ctype -> bool
   val pointsTo: ctype -> ctype
   val isArray: ctype -> bool
+  val elementType: ctype -> ctype
 
   val typeRank: ctype -> int
   val resolveType: ctype -> ctype
-- 
cgit v1.2.3