type tok = Parse_info.ttype 'a wrap = 'a * toktype ident = string wraptype qualified_ident = ident listand class_type = (ident * type_argument list) list1and ref_type = typtype modifier = | Public| Protected| Private| Abstract| Final| Static| Transient| Volatile| Native| StrictFP| Synchronized| Variadic| Annotation of annotationand annotation = name_or_class_type * annotation_element optionand annotation_element = | AnnotArgValue of element_value| AnnotArgPairInit of annotation_pair list| EmptyAnnotArgand element_value = | AnnotExprInit of expr| AnnotNestedAnnot of annotation| AnnotArrayInit of element_value listand annotation_pair = ident * element_valueand name_or_class_type = identifier_ listand identifier_ = | Id of ident| Id_then_TypeArgs of ident * type_argument list| TypeArgs_then_Id of type_argument list * identifier_and name = (type_argument list * ident) list1and expr = | Name of name| NameOrClassType of name_or_class_type| Literal of literal| ClassLiteral of typ| NewClass of typ * arguments * decls bracket option| NewArray of typ * arguments * int * init option| NewQualifiedClass of expr * ident * arguments * decls bracket option| Call of expr * arguments| Dot of expr * tok * ident| ArrayAccess of expr * expr| Unary of Ast_generic.arithmetic_operator wrap * expr| Postfix of expr * Ast_generic.incr_decr wrap| Prefix of Ast_generic.incr_decr wrap * expr| Infix of expr * Ast_generic.arithmetic_operator wrap * expr| Cast of typ * expr| InstanceOf of expr * ref_type| Conditional of expr * expr * expr| Assign of expr * tok * expr| AssignOp of expr * Ast_generic.arithmetic_operator wrap * expr| Lambda of parameters * stmt| Ellipsis of tokand arguments = expr listand stmt = | Empty| Block of stmts| Expr of expr| If of tok * expr * stmt * stmt| Switch of tok * expr * (cases * stmts) list| While of tok * expr * stmt| Do of tok * stmt * expr| For of tok * for_control * stmt| Break of tok * ident option| Continue of tok * ident option| Return of tok * expr option| Label of ident * stmt| Sync of expr * stmt| Try of tok * stmt * catches * (tok * stmt) option| Throw of tok * expr| LocalVar of var_with_init| LocalClass of class_decl| Assert of tok * expr * expr optionand stmts = stmt listand cases = case listand for_control = | ForClassic of for_init * expr list * expr list| Foreach of var_definition * exprand catch = tok * var_definition * stmtand catches = catch listand var_definition = entityand vars = var_definition listand method_decl = {m_var : var_definition;m_formals : parameters;m_throws : qualified_ident list;m_body : stmt;}and parameters = parameter_binding listand parameter = var_definitionand field = var_with_initand enum_decl = {en_name : ident;en_mods : modifiers;en_impls : ref_type list;en_body : enum_constant list * decls;}and enum_constant = | EnumSimple of ident| EnumConstructor of ident * arguments| EnumWithMethods of ident * method_decl listand class_decl = {cl_name : ident;cl_kind : class_kind;cl_tparams : type_parameter list;cl_mods : modifiers;cl_extends : typ option;cl_impls : ref_type list;cl_body : decls bracket;}and decl = | Class of class_decl| Enum of enum_decl| Method of method_decl| Field of field| Init of bool * stmt| DeclEllipsis of tokand decls = decl listtype import = | ImportAll of tok * qualified_ident * tok| ImportFrom of tok * qualified_ident * identtype compilation_unit = {package : (tok * qualified_ident) option;imports : (bool * import) list;decls : decls;}type program = compilation_unittype any = | AIdent of ident| AExpr of expr| AStmt of stmt| AStmts of stmt list| ATyp of typ| AVar of var_definition| AInit of init| AMethod of method_decl| AField of field| AClass of class_decl| ADecl of decl| ADecls of decls| AProgram of programval fakeInfo :
?next_to:(Parse_info.token_location * int) option ->
string ->
Parse_info.token_mutableval is_final : (modifier * 'a) list -> boolval is_final_static : (modifier * 'a) list -> boolval info_of_identifier_ : identifier_ -> tok