module Flx_cil_cparser: sig .. end
sig
end
type token =
|
IDENT of (string * Flx_cil_cabs.cabsloc)
(string * Flx_cil_cabs.cabsloc)
CST_CHAR of (int64 list * Flx_cil_cabs.cabsloc)
(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
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 -> token) -> Lexing.lexbuf -> Flx_cil_cabs.definition list
(Lexing.lexbuf -> token) -> Lexing.lexbuf -> Flx_cil_cabs.definition list
val file : (Lexing.lexbuf -> token) -> Lexing.lexbuf -> Flx_cil_cabs.definition list