type tok = Parse_info.tand 'a wrap = 'a * tokand 'a wrapx = 'a * tok listand 'a comma_list = 'a wrapx listand 'a comma_list2 = ('a, tok) Common.either listand sc = toktype name = tok option * (qualifier * tok) list * ident_or_opand ident = string wrapand template_arguments = template_argument comma_list angleand template_argument = (type_, expr) Common.eitherand class_name = nameand namespace_name = nameand typedef_name = nameand enum_name = nameand ident_name = nameand type_ = typeQualifier * typeCand typeC = | BaseType of baseType| Pointer of tok * type_| Reference of tok * type_| Array of constExpression option bracket * type_| FunctionType of functionType| EnumName of tok * ident| StructUnionName of structUnion wrap * ident| TypeName of name| TypenameKwd of tok * name| TypeOf of tok * (type_, expr) Common.either paren| EnumDef of enum_definition| StructDef of class_definition| ParenType of type_ parenand expr = | Id of name * ident_info| C of constant| Call of expr * argument comma_list paren| CondExpr of expr * tok * expr option * tok * expr| Sequence of expr * tok * expr| Assign of expr * assignOp * expr| Postfix of expr * fixOp wrap| Infix of expr * fixOp wrap| Unary of expr * unaryOp wrap| Binary of expr * binaryOp wrap * expr| ArrayAccess of expr * expr bracket| RecordAccess of expr * tok * name| RecordPtAccess of expr * tok * name| RecordStarAccess of expr * tok * expr| RecordPtStarAccess of expr * tok * expr| SizeOfExpr of tok * expr| SizeOfType of tok * type_ paren| Cast of type_ paren * expr| StatementExpr of compound paren| GccConstructor of type_ paren * initialiser comma_list brace| This of tok| ConstructedObject of type_ * argument comma_list paren| TypeId of tok * (type_, expr) Common.either paren| CplusplusCast of cast_operator wrap * type_ angle * expr paren| New of tok option
* tok
* argument comma_list paren option
* type_
* argument comma_list paren option| Delete of tok option * tok * expr| DeleteArray of tok option * tok * unit bracket * expr| Throw of tok * expr option| ParenExpr of expr paren| Ellipses of tok| ExprTodo of tokand constExpression = exprand stmt = | Compound of compound| ExprStatement of expr option * sc| If of tok * expr paren * stmt * (tok * stmt) option| Switch of tok * expr paren * stmt| While of tok * expr paren * stmt| DoWhile of tok * stmt * tok * expr paren * sc| For of tok * (expr option * sc * expr option * sc * expr option) paren * stmt| MacroIteration of ident * argument comma_list paren * stmt| Jump of jump * sc| Label of string wrap * tok * stmt| Case of tok * expr * tok * stmt| CaseRange of tok * expr * tok * expr * tok * stmt| Default of tok * tok * stmt| DeclStmt of block_declaration| Try of tok * compound * handler list| NestedFunc of func_definition| MacroStmt of tok| StmtTodo of tokand compound = stmt_sequencable list braceand handler = tok * exception_declaration paren * compoundand stmt_sequencable = | StmtElem of stmt| CppDirectiveStmt of cpp_directive| IfdefStmt of ifdef_directiveand initialiser = | InitExpr of expr| InitList of initialiser comma_list brace| InitDesignators of designator list * tok * initialiser| InitFieldOld of ident * tok * initialiser| InitIndexOld of expr bracket * initialiserand exn_spec = tok * name comma_list2 parenand func_or_else = | FunctionOrMethod of func_definition| Constructor of func_definition| Destructor of func_definitionand enum_definition = tok * ident option * enum_elem comma_list braceand class_definition = {c_kind : structUnion wrap;c_name : ident_name option;c_inherit : (tok * base_clause comma_list) option;c_members : class_member_sequencable list brace;}and class_member = | Access of access_spec wrap * tok| MemberField of fieldkind comma_list * sc| MemberFunc of func_or_else| MemberDecl of method_decl| QualifiedIdInClass of name * sc| TemplateDeclInClass of tok * template_parameters * declaration| UsingDeclInClass of tok * name * sc| EmptyField of scand class_member_sequencable = | ClassElem of class_member| CppDirectiveStruct of cpp_directive| IfdefStruct of ifdef_directiveand cpp_directive = | Define of tok * ident * define_kind * define_val| Include of tok * inc_kind * string| Undef of ident| PragmaAndCo of tokand declaration = | BlockDecl of block_declaration| Func of func_or_else| TemplateDecl of tok * template_parameters * declaration| TemplateSpecialization of tok * unit angle * declaration| ExternC of tok * tok * declaration| ExternCList of tok * tok * declaration_sequencable list brace| NameSpace of tok * ident * declaration_sequencable list brace| NameSpaceExtend of string * declaration_sequencable list| NameSpaceAnon of tok * declaration_sequencable list brace| EmptyDef of sc| DeclTodoand template_parameter = parameterand template_parameters = template_parameter comma_list angleand declaration_sequencable = | DeclElem of declaration| CppDirectiveDecl of cpp_directive| IfdefDecl of ifdef_directive| MacroTop of ident * argument comma_list paren * tok option| MacroVarTop of ident * sc| NotParsedCorrectly of tok listand toplevel = declaration_sequencableand program = toplevel listand any = | Program of program| Toplevel of toplevel| Cpp of cpp_directive| Stmt of stmt| Expr of expr| Type of type_| Name of name| BlockDecl2 of block_declaration| ClassDef of class_definition| FuncDef of func_definition| FuncOrElse of func_or_else| ClassMember of class_member| OneDecl of onedecl| Init of initialiser| Stmts of stmt list| Constant of constant| Argument of argument| Parameter of parameter| Body of compound| Info of tok| InfoList of tok listval nQ : typeQualifierval noIdInfo : unit -> ident_infoval make_expanded : Parse_info.token_mutable -> Parse_info.token_mutableval rewrap_pinfo :
Parse_info.token_origin ->
Parse_info.token_mutable ->
Parse_info.token_mutableval string_of_name_tmp : name -> string