sig
type token =
IDENT of (string * Flx_cil_cabs.cabsloc)
| CST_CHAR of (int64 list * Flx_cil_cabs.cabsloc)
| CST_WCHAR of (int64 list * Flx_cil_cabs.cabsloc)
| CST_INT of (string * Flx_cil_cabs.cabsloc)
| CST_FLOAT of (string * Flx_cil_cabs.cabsloc)
| NAMED_TYPE of (string * Flx_cil_cabs.cabsloc)
| CST_STRING of (int64 list * Flx_cil_cabs.cabsloc)
| CST_WSTRING of (int64 list * Flx_cil_cabs.cabsloc)
| EOF
| BOOL of Flx_cil_cabs.cabsloc
| CHAR of Flx_cil_cabs.cabsloc
| INT of Flx_cil_cabs.cabsloc
| DOUBLE of Flx_cil_cabs.cabsloc
| FLOAT of Flx_cil_cabs.cabsloc
| COMPLEX of Flx_cil_cabs.cabsloc
| IMAGINARY of Flx_cil_cabs.cabsloc
| VOID of Flx_cil_cabs.cabsloc
| INT64 of Flx_cil_cabs.cabsloc
| INT32 of Flx_cil_cabs.cabsloc
| ENUM of Flx_cil_cabs.cabsloc
| STRUCT of Flx_cil_cabs.cabsloc
| TYPEDEF of Flx_cil_cabs.cabsloc
| UNION of Flx_cil_cabs.cabsloc
| SIGNED of Flx_cil_cabs.cabsloc
| UNSIGNED of Flx_cil_cabs.cabsloc
| LONG of Flx_cil_cabs.cabsloc
| SHORT of Flx_cil_cabs.cabsloc
| VOLATILE of Flx_cil_cabs.cabsloc
| EXTERN of Flx_cil_cabs.cabsloc
| STATIC of Flx_cil_cabs.cabsloc
| CONST of Flx_cil_cabs.cabsloc
| RESTRICT of Flx_cil_cabs.cabsloc
| AUTO of Flx_cil_cabs.cabsloc
| REGISTER of Flx_cil_cabs.cabsloc
| THREAD of Flx_cil_cabs.cabsloc
| CLASS of Flx_cil_cabs.cabsloc
| NAMESPACE of Flx_cil_cabs.cabsloc
| USING of Flx_cil_cabs.cabsloc
| TYPENAME of Flx_cil_cabs.cabsloc
| TEMPLATENAME of Flx_cil_cabs.cabsloc
| PUBLIC of Flx_cil_cabs.cabsloc
| PRIVATE of Flx_cil_cabs.cabsloc
| PROTECTED of Flx_cil_cabs.cabsloc
| VIRTUAL of Flx_cil_cabs.cabsloc
| SIZEOF of Flx_cil_cabs.cabsloc
| ALIGNOF of Flx_cil_cabs.cabsloc
| EQ
| PLUS_EQ
| MINUS_EQ
| STAR_EQ
| SLASH_EQ
| PERCENT_EQ
| AND_EQ
| PIPE_EQ
| CIRC_EQ
| INF_INF_EQ
| SUP_SUP_EQ
| ARROW
| DOT
| EQ_EQ
| EXCLAM_EQ
| INF
| SUP
| INF_EQ
| SUP_EQ
| PLUS of Flx_cil_cabs.cabsloc
| MINUS of Flx_cil_cabs.cabsloc
| STAR of Flx_cil_cabs.cabsloc
| SLASH
| PERCENT
| TILDE of Flx_cil_cabs.cabsloc
| AND of Flx_cil_cabs.cabsloc
| PIPE
| CIRC
| EXCLAM of Flx_cil_cabs.cabsloc
| AND_AND of Flx_cil_cabs.cabsloc
| PIPE_PIPE
| INF_INF
| SUP_SUP
| PLUS_PLUS of Flx_cil_cabs.cabsloc
| MINUS_MINUS of Flx_cil_cabs.cabsloc
| RPAREN
| LPAREN of Flx_cil_cabs.cabsloc
| RBRACE of Flx_cil_cabs.cabsloc
| LBRACE of Flx_cil_cabs.cabsloc
| LBRACKET
| RBRACKET
| COLON
| XCOLON
| SEMICOLON of Flx_cil_cabs.cabsloc
| COMMA
| ELLIPSIS
| QUEST
| BREAK of Flx_cil_cabs.cabsloc
| CONTINUE of Flx_cil_cabs.cabsloc
| GOTO of Flx_cil_cabs.cabsloc
| RETURN of Flx_cil_cabs.cabsloc
| SWITCH of Flx_cil_cabs.cabsloc
| CASE of Flx_cil_cabs.cabsloc
| DEFAULT of Flx_cil_cabs.cabsloc
| WHILE of Flx_cil_cabs.cabsloc
| DO of Flx_cil_cabs.cabsloc
| FOR of Flx_cil_cabs.cabsloc
| IF of Flx_cil_cabs.cabsloc
| TRY of Flx_cil_cabs.cabsloc
| EXCEPT of Flx_cil_cabs.cabsloc
| FINALLY of Flx_cil_cabs.cabsloc
| ELSE
| ATTRIBUTE of Flx_cil_cabs.cabsloc
| INLINE of Flx_cil_cabs.cabsloc
| ASM of Flx_cil_cabs.cabsloc
| TYPEOF of Flx_cil_cabs.cabsloc
| FUNCTION__ of Flx_cil_cabs.cabsloc
| PRETTY_FUNCTION__ of Flx_cil_cabs.cabsloc
| LABEL__
| BUILTIN_VA_ARG of Flx_cil_cabs.cabsloc
| BUILTIN_VA_LIST
| BLOCKATTRIBUTE
| DECLSPEC of Flx_cil_cabs.cabsloc
| MSASM of (string * Flx_cil_cabs.cabsloc)
| MSATTR of (string * Flx_cil_cabs.cabsloc)
| PRAGMA of Flx_cil_cabs.cabsloc
| PRAGMA_LINE of (string * Flx_cil_cabs.cabsloc)
| PRAGMA_EOL
| AT_TRANSFORM of Flx_cil_cabs.cabsloc
| AT_TRANSFORMEXPR of Flx_cil_cabs.cabsloc
| AT_SPECIFIER of Flx_cil_cabs.cabsloc
| AT_EXPR of Flx_cil_cabs.cabsloc
| AT_NAME
val interpret :
(Lexing.lexbuf -> Flx_cil_cparser.token) ->
Lexing.lexbuf -> Flx_cil_cabs.definition list
val file :
(Lexing.lexbuf -> Flx_cil_cparser.token) ->
Lexing.lexbuf -> Flx_cil_cabs.definition list
end