type enumeration_constant = identifiertype constant = | C_Str of string_constant| C_Char of char_constant| C_Int of integer_constant| C_Float of floating_constant| C_Enum of enumeration_constanttype typedef_name = identifiertype declaration_specifier = | DS_StoreClassSpec of storage_class_specifier| DS_TypeSpec of type_specifier| DS_TypeQual of type_qualifierand struct_declaration = specifier_qualifier list * struct_declarator listand struct_or_union_specifier = {sous_struct_or_union : struct_or_union;sous_identifier : identifier option;sous_declaration : struct_declaration list option;}and type_specifier = | TS_leaf of type_leaf| TS_struct_or_union_specifier of struct_or_union_specifier| TS_enum_specifier of enum_specifier| TS_typedef_name of typedef_nameand specifier_qualifier = | SQ_type_specifier of type_specifier| SQ_type_qualifier of type_qualifierand enum_specifier = identifier option * enumerator listand enumerator = identifier * constant_expression optionand declarator = pointer_option * direct_declaratorand pointer_option = type_qualifier list listand direct_declarator_right = | DDR_array of constant_expression option| DDR_params of parameter_type_list| DDR_decls of identifier listand direct_declarator = direct_declarator_left * direct_declarator_right listand primary_expression = | PE_Identifier of identifier| PE_Constant of constant| PE_subexpr of expressionand expression_postfix = | PostE_Crochet of expression| PostE_Bracket of assignment_expression list| PostE_Field of identifier| PostE_PtrField of identifier| PostE_Operator of op_postfixand atomic_expression = {ae_casts : type_name list;ae_prefixes : op_prefix list;ae_primary : primary_expression;ae_postfixes : expression_postfix list;}and constant_expression = | E_Atomic of atomic_expression| E_SizeOf of type_name| E_Infix of constant_expression * op_infix * constant_expression| E_Cond of constant_expression * constant_expression * constant_expressionand assignment_expression =
(atomic_expression * assignment_operator) list * constant_expressionand expression = assignment_expression listand type_name = specifier_qualifier list * abstract_declarator optionand parameter_type_list = parameter_list * booland parameter_list = parameter_declaration listand parameter_declaration_right = | PDR_declarator of declarator| PDR_abstract_declarator of abstract_declaratorand parameter_declaration =
declaration_specifier list * parameter_declaration_right optionand direct_abstract_declarator_right = | DADR_crochet of constant_expression option| DADR_function of parameter_type_list optionand direct_abstract_declarator =
abstract_declarator option * direct_abstract_declarator_right listand init_declarator = declarator * t_initializer optionand declaration = declaration_specifier list * init_declarator listand t_initializer = assignment_expression Tree.treetype expression_statement = expression optiontype jump_statement = | JS_goto of identifier| JS_continue| JS_break| JS_return of expression optiontype statement = | S_declaration of declaration| S_labeled of labeled_statement| S_expression of expression_statement| S_compound of compound_statement| S_selection of selection_statement| S_iteration of iteration_statement| S_jump of jump_statementand labeled_statement = | LS_identified_statement of identifier * statement| LS_case of constant_expression * statement| LS_default of statementand compound_statement = statement listand selection_statement = | SS_ITE of expression * statement * statement option| SS_Switch of expression * statementand for_statement = {fs_init : expression option;fs_cond : expression option;fs_post : expression option;fs_statement : statement;}and iteration_statement = | IS_while of expression * statement| IS_dowhile of statement * expression| IS_for of for_statementtype function_definition = {fd_dec_spec : declaration_specifier list;fd_pragma : pragma option;fd_declarator : declarator;fd_declaration : declaration list;fd_compound_statement : compound_statement option;}type external_declaration = | ED_define of ext_define| ED_FunDec of function_definition| ED_Dec of declarationtype translation_unit = external_declaration list