diff options
author | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-08 23:51:31 +0200 |
---|---|---|
committer | Vladimir Azarov <avm@intermediate-node.net> | 2025-08-08 23:51:31 +0200 |
commit | ffee5da4dab26c8500add63da540ee252545370f (patch) | |
tree | 0306ad055672bb684687e342b318745df1e057ce /parser.sig | |
parent | a417225089fd78d53d73ad63cd79f57d1a4a8ff1 (diff) |
Variadic function declarations and calls
Diffstat (limited to 'parser.sig')
-rw-r--r-- | parser.sig | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 |