From ffee5da4dab26c8500add63da540ee252545370f Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Fri, 8 Aug 2025 23:51:31 +0200 Subject: Variadic function declarations and calls --- parser.sig | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'parser.sig') diff --git a/parser.sig b/parser.sig index f536e41..6040800 100644 --- a/parser.sig +++ b/parser.sig @@ -22,7 +22,7 @@ signature PARSER = sig ulonglong_t | pointer_t of int * ctype | - function_t of ctype * ctype list | + function_t of ctype * ctype list * bool | array_t of Word64.word * ctype | struct_t of { name: nid, size: word, alignment: word, @@ -155,6 +155,7 @@ signature PARSER = sig val isSigned: ctype -> bool val isPointer: ctype -> bool val pointsTo: ctype -> ctype + val isArray: ctype -> bool val typeRank: ctype -> int val resolveType: ctype -> ctype -- cgit v1.2.3