diff options
Diffstat (limited to 'parser.sig')
| -rw-r--r-- | parser.sig | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -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 |