diff options
Diffstat (limited to 'cparser/C.mli')
-rw-r--r-- | cparser/C.mli | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/cparser/C.mli b/cparser/C.mli index d477acd..9d5a7d7 100644 --- a/cparser/C.mli +++ b/cparser/C.mli @@ -61,7 +61,16 @@ type constant = (** Attributes *) -type attribute = AConst | AVolatile | ARestrict +type attr_arg = + | AIdent of string + | AInt of int64 + | AString of string + +type attribute = + | AConst + | AVolatile + | ARestrict + | Attr of string * attr_arg list type attributes = attribute list |