type tok = Parse_info.ttype 'a wrap = 'a * toktype ident = string wraptype dotted_ident = ident listand resolved_name = resolved_name_kind * sidand resolved_name_kind = | Global| Local| Param| EnclosedVar| ImportedEntity of dotted_ident| ImportedModule of module_name| TypeName| Macro| EnumConstantand qualifier = dotted_identand expr = | L of literal| Container of container_operator * expr list bracket| Tuple of expr list| Record of field list bracket| Constructor of name * expr list| Lambda of function_definition| AnonClass of class_definition| Id of ident * id_info| IdQualified of name * id_info| IdSpecial of special wrap| Call of expr * arguments| Xml of xml| Assign of expr * tok * expr| AssignOp of expr * arithmetic_operator wrap * expr| LetPattern of pattern * expr| DotAccess of expr * tok * field_ident| ArrayAccess of expr * expr| SliceAccess of expr * expr option * expr option * expr option| Conditional of expr * expr * expr| MatchPattern of expr * action list| Yield of tok * expr option * bool| Await of tok * expr| Cast of type_ * expr| Seq of expr list| Ref of tok * expr| DeRef of tok * expr| Ellipsis of tok| TypedMetavar of ident * tok * type_| DisjExpr of expr * expr| OtherExpr of other_expr_operator * any listand special = | This| Super| Self| Parent| Eval| Typeof| Instanceof| Sizeof| New| Concat| EncodedString of string wrap| Spread| ArithOp of arithmetic_operator| IncrDecr of incr_decr * prefix_postfixand xml_attribute = ident * xml_attr_valueand xml_attr_value = exprand arguments = argument listand other_expr_operator = | OE_Exports| OE_Module| OE_Define| OE_Arguments| OE_NewTarget| OE_Delete| OE_YieldStar| OE_EncapsName| OE_Require| OE_UseStrict| OE_In| OE_NotIn| OE_Invert| OE_Slices| OE_CompForIf| OE_CompFor| OE_CompIf| OE_CmpOps| OE_Repr| OE_NameOrClassType| OE_ClassLiteral| OE_NewQualifiedClass| OE_GetRefLabel| OE_ArrayInitDesignator| OE_Unpack| OE_RecordWith| OE_RecordFieldName| OE_StmtExpr| OE_Send| OE_Recvand stmt = | ExprStmt of expr| DefStmt of definition| DirectiveStmt of directive| Block of stmt list| If of tok * expr * stmt * stmt| While of tok * expr * stmt| DoWhile of tok * stmt * expr| For of tok * for_header * stmt| Switch of tok * expr option * case_and_body list| Return of tok * expr option| Continue of tok * label_ident| Break of tok * label_ident| Label of label * stmt| Goto of tok * label| Throw of tok * expr| Try of tok * stmt * catch list * finally option| Assert of tok * expr * expr option| DisjStmt of stmt * stmt| OtherStmtWithStmt of other_stmt_with_stmt_operator * expr * stmt| OtherStmt of other_stmt_operator * any listand label = identand pattern = | PatLiteral of literal| PatConstructor of name * pattern list| PatRecord of (name * pattern) list bracket| PatId of ident * id_info| PatTuple of pattern list| PatList of pattern list bracket| PatKeyVal of pattern * pattern| PatUnderscore of tok| PatDisj of pattern * pattern| PatTyped of pattern * type_| PatWhen of pattern * expr| PatAs of pattern * ident * id_info| PatType of type_| PatVar of type_ * (ident * id_info) option| OtherPat of other_pattern_operator * any listand type_ = | TyBuiltin of string wrap| TyName of name| TyNameApply of name * type_arguments| TyVar of ident| TyFun of parameter_classic list * type_| TyArray of expr option * type_| TyPointer of tok * type_| TyTuple of type_ list bracket| TyQuestion of type_ * tok| TyAnd of (ident * type_) list bracket| TyOr of type_ list| OtherType of other_type_operator * any listand type_arguments = type_argument listand attribute = | KeywordAttr of keyword_attribute wrap| NamedAttr of ident * id_info * argument list| OtherAttribute of other_attribute_operator * any listand definition = entity * definition_kindand definition_kind = | FuncDef of function_definition| VarDef of variable_definition| TypeDef of type_definition| ClassDef of class_definition| ModuleDef of module_definition| MacroDef of macro_definition| Signature of type_| UseOuterDecl of tokand type_parameter = ident * type_parameter_constraintsand type_parameter_constraints = type_parameter_constraint listand parameters = parameter listand parameter = | ParamClassic of parameter_classic| ParamPattern of pattern| ParamEllipsis of tok| OtherParam of other_parameter_operator * any listand type_definition_kind = | OrType of or_type_element list| AndType of field list bracket| AliasType of type_| NewType of type_| Exception of ident * type_ list| OtherTypeKind of other_type_kind_operator * any listand module_definition_kind = | ModuleAlias of name| ModuleStruct of dotted_ident option * item list| OtherModule of other_module_operator * any listand directive = | ImportFrom of tok * module_name * ident * alias option| ImportAs of tok * module_name * alias option| ImportAll of tok * module_name * tok| Package of tok * dotted_ident| PackageEnd of tok| OtherDirective of other_directive_operator * any listand alias = identand item = stmtand program = item listexception Error of string * Parse_info.tval error : Parse_info.t -> string -> 'aval gensym_counter : int refval empty_name_info : name_infoval empty_var : variable_definitionval empty_id_info : unit -> id_infoval basic_id_info : resolved_name -> id_infoval param_of_id : ident -> parameter_classicval param_of_type : type_ -> parameter_classicval attr : keyword_attribute -> tok -> attributeval opt_to_label_ident : label option -> label_identval is_boolean_operator : arithmetic_operator -> boolval vardef_to_assign :
(entity * variable_definition) ->
resolved_name option ->
exprval funcdef_to_lambda :
(entity * function_definition) ->
resolved_name option ->
exprval has_keyword_attr : keyword_attribute -> attribute list -> boolval fake : string -> Parse_info.tval fake_bracket : 'a -> Parse_info.t * 'a * Parse_info.t