diff --git a/stage0/stdlib/Lean/Parser/Term.c b/stage0/stdlib/Lean/Parser/Term.c index 460f88a376..8ddfa8f078 100644 --- a/stage0/stdlib/Lean/Parser/Term.c +++ b/stage0/stdlib/Lean/Parser/Term.c @@ -61,6 +61,7 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_dotIdent_parenthesizer( static lean_object* l___regBuiltin_Lean_Parser_Term_let_formatter___closed__2; static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___closed__4; static lean_object* l_Lean_Parser_Term_suffices_formatter___closed__3; +static lean_object* l_Lean_Parser_Term_nofun_formatter___closed__3; static lean_object* l_Lean_Parser_Term_proj___closed__4; static lean_object* l_Lean_Parser_Term_have_formatter___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Tactic_quot_declRange___closed__4; @@ -70,11 +71,13 @@ static lean_object* l_Lean_Parser_Term_explicitUniv_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_tuple_formatter___closed__11; static lean_object* l___regBuiltin_Lean_Parser_Tactic_tacticSeq1Indented_parenthesizer___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_tuple_parenthesizer___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__23; static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__5; static lean_object* l_Lean_Parser_Term_bracketedBinder_formatter___closed__1; static lean_object* l_Lean_Parser_Term_leading__parser_formatter___closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_show(lean_object*); static lean_object* l_Lean_Parser_Term_attrInstance_formatter___closed__5; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__43; static lean_object* l_Lean_Parser_Term_anonymousCtor_parenthesizer___closed__7; lean_object* l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_noImplicitLambda_parenthesizer___closed__2; @@ -90,6 +93,7 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_whereDecls_formatter(le static lean_object* l_Lean_Parser_Tactic_sepByIndentSemicolon_formatter___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Term_leftact_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_have_parenthesizer___closed__3; +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_nofun(lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_depArrow(lean_object*); static lean_object* l_Lean_Parser_Termination_suffix___closed__9; lean_object* l_Lean_Parser_checkColEq(lean_object*); @@ -189,7 +193,6 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_byTactic_declRange___closed_ static lean_object* l_Lean_Parser_Term_sufficesDecl___closed__13; static lean_object* l_Lean_Parser_Term_leading__parser_parenthesizer___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_scientific_declRange___closed__2; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__12; static lean_object* l_Lean_Parser_Term_strictImplicitBinder___closed__3; static lean_object* l_Lean_Parser_Term_withDeclName_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_structInst_declRange___closed__7; @@ -200,6 +203,7 @@ lean_object* l_Lean_PrettyPrinter_Formatter_checkWsBefore_formatter___boxed(lean static lean_object* l_Lean_Parser_Term_doubleQuotedName___closed__14; static lean_object* l___regBuiltin_Lean_Parser_Term_leftact_formatter___closed__1; static lean_object* l_Lean_Parser_Term_dotIdent___closed__1; +static lean_object* l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__3; static lean_object* l_Lean_Parser_Term_motive___closed__10; static lean_object* l_Lean_Parser_Term_let__delayed___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Term_let__delayed_declRange___closed__4; @@ -242,7 +246,6 @@ lean_object* l_Lean_addBuiltinDocString(lean_object*, lean_object*, lean_object* static lean_object* l_Lean_Parser_Term_forall_parenthesizer___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Term_showRhs_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_waitIfTypeMVar_declRange___closed__3; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__22; static lean_object* l_Lean_Parser_Term_quotedName_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_trailing__parser_formatter___closed__1; static lean_object* l_Lean_Parser_Term_typeSpec___closed__1; @@ -272,7 +275,6 @@ static lean_object* l_Lean_Parser_Term_binrel__no__prop___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_unreachable_declRange___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_binop__lazy_formatter___closed__2; static lean_object* l_Lean_Parser_Term_anonymousCtor___closed__5; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__9; static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_66____closed__1; static lean_object* l_Lean_Parser_Term_match___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_paren_declRange___closed__4; @@ -309,6 +311,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_pipeProj_parenthesizer(lean_object*, static lean_object* l_Lean_Parser_Term_doubleQuotedName_parenthesizer___closed__8; static lean_object* l_Lean_Parser_Term_noImplicitLambda_formatter___closed__4; static lean_object* l_Lean_Parser_Term_fun___closed__11; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__40; static lean_object* l_Lean_Parser_Term_sorry___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Term_nomatch_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_binderType___closed__1; @@ -327,6 +330,7 @@ static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket_parenthesizer__ static lean_object* l_Lean_Parser_Term_tuple_parenthesizer___closed__9; static lean_object* l___regBuiltin_Lean_Parser_Term_borrowed_declRange___closed__4; static lean_object* l_Lean_Parser_Term_typeAscription___closed__6; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__22; static lean_object* l_Lean_Parser_Term_explicitBinder_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Tactic_quotSeq___closed__6; static lean_object* l_Lean_Parser_Term_structInst___closed__6; @@ -522,6 +526,7 @@ static lean_object* l_Lean_Parser_Term_binop__lazy___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_typeAscription_declRange___closed__4; static lean_object* l_Lean_Parser_Term_typeAscription_formatter___closed__15; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_syntheticHole_parenthesizer(lean_object*); +LEAN_EXPORT lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730_(lean_object*); static lean_object* l_Lean_Parser_Term_typeAscription_formatter___closed__2; static lean_object* l_Lean_Parser_Term_basicFun_parenthesizer___closed__5; LEAN_EXPORT lean_object* l_Lean_Parser_Term_show_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -537,6 +542,7 @@ static lean_object* l_Lean_Parser_Term_waitIfTypeContainsMVar___closed__8; static lean_object* l_Lean_Parser_Term_assert___closed__5; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_matchDiscr_formatter(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__1; +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_nofun_parenthesizer(lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_explicitUniv_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_cdot___closed__1; static lean_object* l_Lean_Parser_Term_typeSpec___closed__3; @@ -598,6 +604,7 @@ static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___closed__3; static lean_object* l_Lean_Parser_Term_match_formatter___closed__14; static lean_object* l___regBuiltin_Lean_Parser_Term_quotedName_declRange___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_typeOf_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__14; static lean_object* l_Lean_Parser_Term_assert___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_matchAltsWhereDecls_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_noErrorIfUnused_parenthesizer___closed__1; @@ -640,6 +647,7 @@ lean_object* l_Lean_Parser_leadingNode(lean_object*, lean_object*, lean_object*) static lean_object* l_Lean_Parser_Term_show_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_let__fun_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_typeOf_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__5; static lean_object* l_Lean_Parser_Term_basicFun___closed__11; static lean_object* l_Lean_Parser_Term_depArrow___closed__9; static lean_object* l_Lean_Parser_Term_strictImplicitBinder___closed__2; @@ -651,6 +659,7 @@ static lean_object* l_Lean_Parser_Term_noImplicitLambda___closed__1; static lean_object* l_Lean_Parser_Term_unreachable___closed__2; static lean_object* l_Lean_Parser_Term_match___closed__10; static lean_object* l_Lean_Parser_Term_structInstLVal_formatter___closed__2; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__3; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_binrel__no__prop_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_structInstField_formatter___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_have_formatter___closed__1; @@ -785,11 +794,10 @@ static lean_object* l_Lean_Parser_Term_letrec_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_syntheticHole_formatter___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Term_letRecDecl_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_tuple___closed__12; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__21; static lean_object* l_Lean_Parser_Term_attrKind___closed__7; LEAN_EXPORT lean_object* l_Lean_Parser_Term_panic_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_match_formatter___closed__13; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__23; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__17; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_let__fun_docString(lean_object*); static lean_object* l_Lean_Parser_Term_haveIdDecl_formatter___closed__2; static lean_object* l_Lean_Parser_Tactic_quotSeq___closed__2; @@ -799,6 +807,7 @@ static lean_object* l_Lean_Parser_Term_let__tmp___closed__5; static lean_object* l_Lean_Parser_Term_noErrorIfUnused___closed__4; lean_object* l_Lean_Parser_interpolatedStr(lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_pipeCompletion_parenthesizer(lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__19; static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_66____closed__4; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange(lean_object*); static lean_object* l_Lean_Parser_Term_noindex___closed__3; @@ -884,6 +893,7 @@ static lean_object* l_Lean_Parser_Term_ensureExpectedType_parenthesizer___closed static lean_object* l_Lean_Parser_Term_match_parenthesizer___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Tactic_tacticSeqIndentGt_formatter___closed__3; static lean_object* l_Lean_Parser_Term_let__delayed_formatter___closed__5; +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_nofun_formatter(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_unop_declRange___closed__3; static lean_object* l_Lean_Parser_Term_strictImplicitBinder_formatter___closed__2; static lean_object* l_Lean_Parser_Term_tuple___closed__14; @@ -937,6 +947,7 @@ static lean_object* l_Lean_Parser_Term_match___closed__16; LEAN_EXPORT lean_object* l_Lean_Parser_Term_binop__lazy_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_app_declRange___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Term_forInMacro_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l___regBuiltin_Lean_Parser_Term_nofun_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_stateRefT_parenthesizer___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Termination_decreasingBy; static lean_object* l_Lean_Parser_Term_unop_formatter___closed__4; @@ -945,7 +956,6 @@ lean_object* l_Lean_Parser_attrParser_formatter___rarg(lean_object*, lean_object static lean_object* l___regBuiltin_Lean_Parser_Term_binop_declRange___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_darrow_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_assert_parenthesizer___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__5; static lean_object* l_Lean_Parser_Term_forInMacro_x27___closed__7; static lean_object* l_Lean_Parser_Term_suffices___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_haveIdDecl_parenthesizer___closed__1; @@ -995,7 +1005,6 @@ static lean_object* l_Lean_Parser_Term_attrInstance___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_clear_docString___closed__1; static lean_object* l_Lean_Parser_Term_waitIfContainsMVar_parenthesizer___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_depArrow_formatter___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__19; static lean_object* l___regBuiltin_Lean_Parser_Term_local_formatter___closed__1; static lean_object* l_Lean_Parser_Term_binderTactic_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Term_instBinder___closed__3; @@ -1094,6 +1103,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_num___closed__1; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_assert_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_let_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__9; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__42; static lean_object* l_Lean_Parser_Term_suffices___closed__9; static lean_object* l_Lean_Parser_Term_sufficesDecl_formatter___closed__11; static lean_object* l_Lean_Parser_Term_nomatch___closed__3; @@ -1177,12 +1187,12 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_paren_parenthesizer(lea static lean_object* l_Lean_Parser_Term_attrKind___closed__2; static lean_object* l_Lean_Parser_Term_ensureExpectedType___closed__8; static lean_object* l_Lean_Parser_Term_binrel__no__prop___closed__9; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__44; LEAN_EXPORT lean_object* l_Lean_Parser_Term_explicit_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_defaultOrOfNonempty___closed__4; static lean_object* l_Lean_Parser_Term_dbgTrace___closed__9; static lean_object* l_Lean_Parser_Term_hole_formatter___closed__2; static lean_object* l_Lean_Parser_Term_letRecDecls_formatter___closed__2; +static lean_object* l___regBuiltin_Lean_Parser_Term_nofun_formatter___closed__2; static lean_object* l_Lean_Parser_Term_assert_parenthesizer___closed__6; extern lean_object* l_Lean_Parser_fieldIdx; static lean_object* l___regBuiltin_Lean_Parser_Term_cdot_declRange___closed__3; @@ -1255,7 +1265,6 @@ static lean_object* l_Lean_Parser_Term_noImplicitLambda_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_binop__lazy_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_letPatDecl_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev_parenthesizer___closed__9; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__41; static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__18; static lean_object* l_Lean_Parser_Term_optEllipsis___closed__3; static lean_object* l_Lean_Parser_Term_structInstField___closed__8; @@ -1319,7 +1328,6 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_letEqnsDecl_parenthesizer(lean_objec static lean_object* l___regBuiltin_Lean_Parser_Term_let__fun_parenthesizer___closed__1; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_doubleQuotedName(lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_panic(lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__8; static lean_object* l___regBuiltin_Lean_Parser_Term_num_declRange___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_trailing__parser_declRange___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_waitIfTypeMVar_formatter___closed__1; @@ -1400,6 +1408,7 @@ static lean_object* l_Lean_Parser_Term_borrowed___closed__8; static lean_object* l_Lean_Parser_Term_structInstLVal_formatter___closed__3; static lean_object* l_Lean_Parser_Term_typeAscription_formatter___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_typeOf_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__34; static lean_object* l_Lean_Parser_Tactic_quot___closed__11; static lean_object* l_Lean_Parser_Term_let__fun_formatter___closed__5; static lean_object* l_Lean_Parser_Term_local_formatter___closed__1; @@ -1468,6 +1477,7 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_syntheticHole_declRange static lean_object* l_Lean_Parser_Tactic_tacticSeqIndentGt_formatter___closed__1; static lean_object* l_Lean_Parser_Term_hole_parenthesizer___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_semicolonOrLinebreak_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__1; static lean_object* l_Lean_Parser_Term_quotedName_formatter___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_sorry_declRange___closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_type_formatter(lean_object*); @@ -1495,7 +1505,6 @@ static lean_object* l_Lean_Parser_Term_match___closed__3; static lean_object* l_Lean_Parser_Term_attrKind_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_syntheticHole_formatter___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_borrowed_parenthesizer___closed__2; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__42; static lean_object* l___regBuiltin_Lean_Parser_Term_whereDecls_formatter___closed__1; static lean_object* l_Lean_Parser_Term_byTactic___closed__6; LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -1549,6 +1558,7 @@ static lean_object* l_Lean_Parser_Term_namedPattern_formatter___closed__3; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev_parenthesizer___closed__7; static lean_object* l_Lean_Parser_Term_prop___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__2; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__21; static lean_object* l___regBuiltin_Lean_Parser_Term_paren_declRange___closed__3; static lean_object* l_Lean_Parser_Term_binrel_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Term_structInst___closed__4; @@ -1655,6 +1665,7 @@ static lean_object* l_Lean_Parser_Term_unreachable___closed__8; static lean_object* l_Lean_Parser_Term_borrowed_formatter___closed__2; static lean_object* l_Lean_Parser_Term_pipeProj_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_haveDecl_parenthesizer___closed__5; +static lean_object* l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__4; static lean_object* l_Lean_Parser_Term_tuple___closed__15; static lean_object* l_Lean_Parser_Term_ensureTypeOf_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_binrel___closed__9; @@ -1682,11 +1693,11 @@ static lean_object* l_Lean_Parser_Term_pipeProj_formatter___closed__5; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_have(lean_object*); static lean_object* l_Lean_Parser_Tactic_initFn____x40_Lean_Parser_Term___hyg_154____closed__15; static lean_object* l_Lean_Parser_Term_optExprPrecedence___closed__5; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__27; static lean_object* l___regBuiltin_Lean_Parser_Term_depArrow_declRange___closed__3; static lean_object* l_Lean_Parser_Command_docComment___closed__1; static lean_object* l_Lean_Parser_Term_binop__lazy___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_binop_parenthesizer___closed__1; +static lean_object* l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__7; static lean_object* l_Lean_Parser_Termination_terminationBy___closed__17; static lean_object* l_Lean_Parser_Term_ellipsis___closed__9; static lean_object* l___regBuiltin_Lean_Parser_Term_tuple_declRange___closed__7; @@ -1722,6 +1733,7 @@ static lean_object* l_Lean_Parser_Term_prop___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_explicitUniv_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_trailing__parser___closed__6; LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_sepBy1IndentSemicolon_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_Lean_Parser_Term_nofun_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_explicitBinder_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_let__fun___closed__1; static lean_object* l_Lean_Parser_Term_typeAscription_parenthesizer___closed__7; @@ -1816,11 +1828,13 @@ static lean_object* l_Lean_Parser_Termination_suffix___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_subst_declRange___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Term_tuple_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_attributes_parenthesizer___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__30; static lean_object* l_Lean_Parser_Term_macroDollarArg_formatter___closed__3; static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_typeAscription_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_instBinder___closed__10; static lean_object* l_Lean_Parser_Term_leftact_parenthesizer___closed__1; +static lean_object* l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__1; static lean_object* l_Lean_Parser_Term_sufficesDecl_formatter___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Term_waitIfTypeContainsMVar; static lean_object* l_Lean_Parser_Term_assert___closed__6; @@ -1882,7 +1896,6 @@ static lean_object* l_Lean_Parser_Term_withAnonymousAntiquot_formatter___closed_ static lean_object* l_Lean_Parser_Term_explicitBinder_formatter___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Term_waitIfTypeContainsMVar_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_namedPattern_declRange(lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__16; static lean_object* l_Lean_Parser_Term_match___closed__17; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_structInst_declRange(lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_quotedName_parenthesizer(lean_object*); @@ -1908,7 +1921,6 @@ static lean_object* l_Lean_Parser_Term_funImplicitBinder___closed__1; lean_object* l_Lean_Parser_many1Indent_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_binderDefault_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_dynamicQuot_formatter___closed__8; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__29; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_type_declRange(lean_object*); static lean_object* l_Lean_Parser_Term_basicFun___closed__10; LEAN_EXPORT lean_object* l_Lean_Parser_Term_strictImplicitBinder_formatter(uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -2046,6 +2058,7 @@ static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___clos LEAN_EXPORT lean_object* l_Lean_Parser_Term_sorry_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_ensureExpectedType_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_withAnonymousAntiquot_parenthesizer___closed__8; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__11; static lean_object* l_Lean_Parser_Termination_decreasingBy___closed__4; static lean_object* l_Lean_Parser_Term_hole_formatter___closed__3; static lean_object* l_Lean_Parser_Term_withAnonymousAntiquot_parenthesizer___closed__7; @@ -2100,7 +2113,6 @@ static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev_parenthesizer___clo static lean_object* l___regBuiltin_Lean_Parser_Term_syntheticHole_declRange___closed__5; static lean_object* l_Lean_Parser_Term_typeAscription_parenthesizer___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_byTactic_declRange___closed__5; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_explicit_parenthesizer___closed__2; static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_66____closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_cdot_formatter___closed__1; @@ -2129,11 +2141,13 @@ static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__11; static lean_object* l___regBuiltin_Lean_Parser_Term_structInstField_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_panic_declRange___closed__6; static lean_object* l_Lean_Parser_Term_sufficesDecl_parenthesizer___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__9; static lean_object* l_Lean_Parser_Term_structInstArrayRef___closed__6; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_binderDefault_formatter(lean_object*); static lean_object* l_Lean_Parser_Termination_terminationBy_formatter___closed__9; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Termination_terminationBy___closed__5; +static lean_object* l___regBuiltin_Lean_Parser_Term_nofun_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_show_formatter___closed__3; static lean_object* l_Lean_Parser_Term_letEqnsDecl___closed__2; static lean_object* l_Lean_Parser_Term_haveDecl_formatter___closed__5; @@ -2141,6 +2155,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_structInst_declRange___close static lean_object* l___regBuiltin_Lean_Parser_Term_haveEqnsDecl_formatter___closed__2; static lean_object* l_Lean_Parser_Term_generalizingParam_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_attrKind_formatter___closed__2; +static lean_object* l_Lean_Parser_Term_nofun___closed__4; static lean_object* l_Lean_Parser_Term_clear_formatter___closed__4; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_fromTerm___closed__8; @@ -2153,7 +2168,6 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_declName; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev_formatter___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_waitIfTypeContainsMVar_declRange___closed__7; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_prop_docString(lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__30; lean_object* l_Lean_PrettyPrinter_Formatter_visitAtom(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_borrowed___closed__1; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_anonymousCtor(lean_object*); @@ -2176,6 +2190,7 @@ static lean_object* l_Lean_Parser_Term_let__delayed___closed__3; static lean_object* l_Lean_Parser_Term_assert___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_char_declRange___closed__2; static lean_object* l_Lean_Parser_Term_clear___closed__3; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__45; static lean_object* l_Lean_Parser_Termination_suffix_parenthesizer___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_hole_declRange___closed__5; static lean_object* l_Lean_Parser_Term_letRecDecl___closed__7; @@ -2226,6 +2241,7 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_trailing__parser_parent static lean_object* l___regBuiltin_Lean_Parser_Term_typeAscription_declRange___closed__5; static lean_object* l_Lean_Parser_Term_waitIfTypeMVar___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Term_structInstFieldAbbrev_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__28; static lean_object* l_Lean_Parser_Term_typeAscription_formatter___closed__6; static lean_object* l_Lean_Parser_Term_argument___closed__1; static lean_object* l_Lean_Parser_Term_sufficesDecl_formatter___closed__7; @@ -2277,7 +2293,6 @@ static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_66____clo static lean_object* l_Lean_Parser_Term_binop__lazy___closed__5; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_motive_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_leftact___closed__4; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__43; static lean_object* l_Lean_Parser_Term_binderTactic___closed__7; LEAN_EXPORT lean_object* l_Lean_Parser_Term_sort; static lean_object* l_Lean_Parser_Tactic_quotSeq___closed__9; @@ -2309,12 +2324,15 @@ static lean_object* l_Lean_Parser_Term_letRecDecl_formatter___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_paren_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_forall_formatter___closed__10; static lean_object* l___regBuiltin_Lean_Parser_Term_let__tmp_docString___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__33; static lean_object* l_Lean_Parser_Term_typeOf___closed__7; static lean_object* l_Lean_Parser_Term_namedPattern_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Term_typeAscription_parenthesizer___closed__15; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_paren_declRange(lean_object*); +LEAN_EXPORT lean_object* l_Lean_Parser_Term_nofun; static lean_object* l_Lean_Parser_Term_arrow___closed__5; static lean_object* l_Lean_Parser_Term_let_formatter___closed__5; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__29; static lean_object* l_Lean_Parser_Term_binderTactic_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_anonymousCtor___closed__3; static lean_object* l_Lean_Parser_Term_byTactic_formatter___closed__5; @@ -2336,7 +2354,6 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_dbgTrace_parenthesizer( lean_object* l_Lean_Parser_sepBy1Indent_parenthesizer(lean_object*, lean_object*, lean_object*, uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRange___closed__4; static lean_object* l_Lean_Parser_Term_byTactic_formatter___closed__6; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__4; static lean_object* l_Lean_Parser_Term_letEqnsDecl_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_defaultOrOfNonempty___closed__12; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_pipeProj_formatter(lean_object*); @@ -2399,6 +2416,7 @@ static lean_object* l_Lean_Parser_Term_waitIfTypeMVar___closed__4; static lean_object* l_Lean_Parser_Term_forall___closed__11; static lean_object* l___regBuiltin_Lean_Parser_Term_dynamicQuot_formatter___closed__2; static lean_object* l_Lean_Parser_Term_letIdDecl_formatter___closed__5; +static lean_object* l_Lean_Parser_Term_nofun_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_docComment___closed__2; static lean_object* l_Lean_Parser_Term_attributes_formatter___closed__7; lean_object* l_Lean_Parser_symbol_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -2527,6 +2545,7 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_panic_formatter(lean_ob static lean_object* l___regBuiltin_Lean_Parser_Term_match_declRange___closed__7; static lean_object* l_Lean_Parser_Term_panic_formatter___closed__2; static lean_object* l_Lean_Parser_Term_matchDiscr_formatter___closed__3; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__36; static lean_object* l_Lean_Parser_Term_letIdBinder_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_fun_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_withAnonymousAntiquot___closed__11; @@ -2575,7 +2594,6 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_letMVar_declRange___closed__ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_completion_parenthesizer(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_stateRefT_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_letEqnsDecl_parenthesizer___closed__4; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_rightact_declRange(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_nomatch_declRange___closed__2; static lean_object* l_Lean_Parser_Term_forall___closed__3; @@ -2664,6 +2682,7 @@ static lean_object* l_Lean_Parser_Term_tuple___closed__16; static lean_object* l_Lean_Parser_Term_structInstLVal_formatter___closed__11; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_forall_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_type___closed__6; +static lean_object* l_Lean_Parser_Term_nofun___closed__1; static lean_object* l_Lean_Parser_Term_forInMacro_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_typeAscription_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_quotedName___closed__3; @@ -2683,6 +2702,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_matchDiscr; static lean_object* l_Lean_Parser_Term_ensureExpectedType_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_anonymousCtor_formatter___closed__4; static lean_object* l_Lean_Parser_Term_optEllipsis___closed__9; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__18; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_withDeclName_declRange(lean_object*); static lean_object* l_Lean_Parser_Term_clear_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_optExprPrecedence_parenthesizer___closed__2; @@ -2733,7 +2753,6 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_inaccessible_parenthesizer__ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_motive_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Tactic_tacticSeqIndentGt_formatter___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Tactic_seq1_formatter___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__39; static lean_object* l_Lean_Parser_Term_leading__parser_formatter___closed__4; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_noImplicitLambda_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_declName_parenthesizer___closed__3; @@ -2749,7 +2768,6 @@ lean_object* l_Lean_PrettyPrinter_Formatter_checkColGt_formatter___boxed(lean_ob static lean_object* l_Lean_Parser_Term_motive___closed__11; static lean_object* l___regBuiltin_Lean_Parser_Term_let_declRange___closed__3; static lean_object* l_Lean_Parser_Term_binrel__no__prop_parenthesizer___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__37; LEAN_EXPORT lean_object* l_Lean_Parser_Term_unop; static lean_object* l___regBuiltin_Lean_Parser_Term_forall_declRange___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_clear_declRange___closed__3; @@ -2764,6 +2782,7 @@ static lean_object* l_Lean_Parser_Term_matchAltsWhereDecls___closed__3; static lean_object* l_Lean_Parser_Term_macroDollarArg___closed__4; static lean_object* l_Lean_Parser_Term_inaccessible___closed__10; static lean_object* l_Lean_Parser_Term_show_formatter___closed__4; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__44; LEAN_EXPORT lean_object* l_Lean_Parser_Term_attrKind_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_assert_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_let_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -2810,6 +2829,7 @@ static lean_object* l_Lean_Parser_Term_sorry___closed__6; static lean_object* l_Lean_Parser_Term_show___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_attributes_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_sort_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__25; static lean_object* l_Lean_Parser_Term_fun_formatter___closed__5; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_withDeclName_docString(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_show_declRange___closed__4; @@ -2833,7 +2853,6 @@ static lean_object* l_Lean_Parser_Term_matchDiscr_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_strictImplicitBinder_parenthesizer___closed__3; lean_object* l_Lean_Syntax_getArg(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_binrel_parenthesizer___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__10; static lean_object* l_Lean_Parser_Term_letRecDecl_formatter___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_explicitUniv_formatter___closed__2; static lean_object* l_Lean_Parser_Term_macroLastArg___closed__1; @@ -2880,7 +2899,6 @@ static lean_object* l_Lean_Parser_Term_generalizingParam_parenthesizer___closed_ static lean_object* l_Lean_Parser_Term_byTactic_x27___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Term_syntheticHole_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_stateRefT_parenthesizer___closed__2; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__11; LEAN_EXPORT lean_object* l_Lean_Parser_Term_letMVar; lean_object* l_Lean_PrettyPrinter_Parenthesizer_interpolatedStr_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_ident(lean_object*); @@ -2894,7 +2912,6 @@ static lean_object* l_Lean_Parser_Term_letRecDecl___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_binrel__no__prop_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_generalizingParam_formatter___closed__1; static lean_object* l_Lean_Parser_Term_doubleQuotedName_formatter___closed__6; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__33; lean_object* l_Lean_Parser_charLit_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_cdot_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Term_byTactic_formatter___closed__4; @@ -2953,7 +2970,6 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_suffices_declRange___closed_ static lean_object* l_Lean_Parser_Term_pipeProj___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_anonymousCtor_declRange___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_falseVal_formatter___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__25; LEAN_EXPORT lean_object* l_Lean_Parser_Term_namedArgument_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_dbgTrace_declRange___closed__3; @@ -2963,6 +2979,7 @@ static lean_object* l_Lean_Parser_Term_attributes___closed__13; static lean_object* l_Lean_Parser_Term_whereDecls___closed__1; static lean_object* l_Lean_Parser_Term_structInstArrayRef___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_structInst_parenthesizer___closed__2; +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_nofun_declRange(lean_object*); static lean_object* l_Lean_Parser_Term_letrec___closed__2; static lean_object* l_Lean_Parser_Tactic_seq1_parenthesizer___closed__1; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_leftact_parenthesizer(lean_object*); @@ -2983,6 +3000,7 @@ static lean_object* l_Lean_Parser_Term_waitIfTypeMVar___closed__2; static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket___closed__2; static lean_object* l_Lean_Parser_Term_proj_parenthesizer___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_instBinder_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__20; static lean_object* l___regBuiltin_Lean_Parser_Term_letEqnsDecl_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_pipeCompletion_formatter___closed__1; @@ -3059,7 +3077,6 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_let__delayed_declRange___clo static lean_object* l_Lean_Parser_Term_haveIdDecl___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_let_declRange___closed__2; static lean_object* l_Lean_Parser_Term_declName_parenthesizer___closed__2; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__32; static lean_object* l_Lean_Parser_Term_dynamicQuot_parenthesizer___closed__3; lean_object* l_Lean_Parser_andthen(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_optIdent_formatter___closed__1; @@ -3144,7 +3161,6 @@ static lean_object* l_Lean_Parser_Term_doubleQuotedName___closed__11; static lean_object* l_Lean_Parser_Term_funImplicitBinder_formatter___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Term_explicitBinder_parenthesizer(uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_let__fun_declRange___closed__2; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__36; static lean_object* l_Lean_Parser_Term_let_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_letPatDecl_formatter___closed__4; static lean_object* l_Lean_Parser_Term_let__tmp___closed__11; @@ -3204,6 +3220,7 @@ static lean_object* l_Lean_Parser_Term_subst___closed__2; static lean_object* l_Lean_Parser_Term_withDeclName_formatter___closed__4; static lean_object* l_Lean_Parser_Term_dbgTrace___closed__10; extern lean_object* l_Lean_Parser_rawIdent; +static lean_object* l_Lean_Parser_Term_nofun___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_letMVar_formatter___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_waitIfTypeMVar_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_haveEqnsDecl_formatter(lean_object*); @@ -3212,6 +3229,7 @@ static lean_object* l_Lean_Parser_Term_binderDefault_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_letDecl_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_generalizingParam___closed__3; static lean_object* l_Lean_Parser_Term_byTactic___closed__3; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__27; static lean_object* l_Lean_Parser_Tactic_initFn____x40_Lean_Parser_Term___hyg_154____closed__3; static lean_object* l_Lean_Parser_Term_letMVar_formatter___closed__8; static lean_object* l_Lean_Parser_Term_type_parenthesizer___closed__5; @@ -3293,7 +3311,6 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_quotedName_formatter(lean_object*, l static lean_object* l___regBuiltin_Lean_Parser_Term_inaccessible_declRange___closed__5; static lean_object* l_Lean_Parser_Term_tuple_parenthesizer___closed__11; static lean_object* l_Lean_Parser_Term_whereDecls_formatter___closed__10; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__31; static lean_object* l_Lean_Parser_Term_match_parenthesizer___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_waitIfTypeContainsMVar_declRange___closed__1; static lean_object* l_Lean_Parser_Term_waitIfTypeMVar___closed__10; @@ -3363,7 +3380,6 @@ static lean_object* l_Lean_Parser_Term_letPatDecl___closed__3; static lean_object* l_Lean_Parser_Term_scoped___closed__2; lean_object* l_Lean_PrettyPrinter_Formatter_pushNone_formatter___boxed(lean_object*); static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder___closed__7; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__45; static lean_object* l___regBuiltin_Lean_Parser_Term_letPatDecl_formatter___closed__1; static lean_object* l_Lean_Parser_Term_rightact___closed__9; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_macroDollarArg_formatter(lean_object*); @@ -3477,7 +3493,6 @@ static lean_object* l_Lean_Parser_Term_structInstArrayRef___closed__9; static lean_object* l_Lean_Parser_Termination_terminationBy_formatter___closed__3; static lean_object* l_Lean_Parser_Command_docComment_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_let__fun_parenthesizer___closed__4; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__17; static lean_object* l_Lean_Parser_Term_show___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_forall_declRange___closed__1; static lean_object* l_Lean_Parser_Term_match___closed__1; @@ -3489,7 +3504,6 @@ static lean_object* l_Lean_Parser_Term_attrInstance___closed__6; static lean_object* l_Lean_Parser_Term_let__delayed___closed__4; static lean_object* l_Lean_Parser_Term_panic_formatter___closed__1; static lean_object* l_Lean_Parser_Termination_decreasingBy_formatter___closed__3; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__26; lean_object* l_Lean_Parser_withPosition_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_let_declRange___closed__1; lean_object* l_Lean_Parser_leadingNode_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -3524,7 +3538,6 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_typeOf_declRange___closed__5 static lean_object* l_Lean_Parser_Term_subst___closed__4; extern lean_object* l_Lean_Parser_argPrec; static lean_object* l___regBuiltin_Lean_Parser_Term_inaccessible_declRange___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__28; static lean_object* l_Lean_Parser_Term_explicitUniv___closed__13; static lean_object* l_Lean_Parser_Tactic_quotSeq___closed__3; static lean_object* l_Lean_Parser_Term_binrel__no__prop_formatter___closed__4; @@ -3539,6 +3552,7 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_num(lean_object*); static lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__1; static lean_object* l_Lean_Parser_Term_letRecDecl___closed__8; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__24; static lean_object* l_Lean_Parser_Term_letEqnsDecl___closed__3; static lean_object* l_Lean_Parser_Term_syntheticHole___closed__3; static lean_object* l_Lean_Parser_Term_argument___closed__9; @@ -3605,9 +3619,9 @@ static lean_object* l_Lean_Parser_Term_noImplicitLambda___closed__5; static lean_object* l_Lean_Parser_Termination_suffix_parenthesizer___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Term_declName_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__8; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__10; static lean_object* l_Lean_Parser_Term_binderDefault_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_binrel_declRange___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__24; static lean_object* l_Lean_Parser_Term_typeSpec_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_explicit_parenthesizer___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Tactic_quot_declRange___closed__1; @@ -3626,6 +3640,7 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_nomatch(lean_object*); static lean_object* l_Lean_Parser_Term_whereDecls_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_funImplicitBinder___closed__2; static lean_object* l_Lean_Parser_Termination_terminationBy___closed__16; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__7; static lean_object* l_Lean_Parser_Term_typeAscription___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_arrow_formatter___closed__1; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_noImplicitLambda_declRange(lean_object*); @@ -3644,7 +3659,6 @@ static lean_object* l_Lean_Parser_Term_dbgTrace_parenthesizer___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Term_stateRefT_declRange___closed__6; static lean_object* l_Lean_Parser_Term_noImplicitLambda___closed__3; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_prop_formatter(lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_binderTactic_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_structInstArrayRef_parenthesizer___closed__2; lean_object* l_Lean_Parser_withoutForbidden_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -3761,6 +3775,7 @@ static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_proj_declRange___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_binop__lazy_declRange___closed__5; static lean_object* l_Lean_Parser_Term_anonymousCtor_parenthesizer___closed__3; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__37; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_pipeProj(lean_object*); static lean_object* l_Lean_Parser_Term_motive___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_tacticSeqIndentGt_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -3806,8 +3821,8 @@ static lean_object* l_Lean_Parser_semicolonOrLinebreak_formatter___closed__1; lean_object* l_Lean_Parser_incQuotDepth(lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_declName_declRange(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_scientific_declRange___closed__4; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__38; static lean_object* l_Lean_Parser_Command_commentBody___elambda__1___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__38; static lean_object* l___regBuiltin_Lean_Parser_Term_ensureTypeOf_declRange___closed__6; LEAN_EXPORT lean_object* l_Lean_Parser_Term_matchAlts(lean_object*); static lean_object* l_Lean_Parser_Term_waitIfTypeMVar___closed__11; @@ -3847,6 +3862,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_char_declRange___closed__6; static lean_object* l_Lean_Parser_Term_binderDefault___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_num_declRange___closed__7; static lean_object* l_Lean_Parser_Term_doubleQuotedName___closed__2; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__26; static lean_object* l___regBuiltin_Lean_Parser_Term_withDeclName_docString___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_doubleQuotedName_declRange___closed__4; static lean_object* l_Lean_Parser_Term_match_parenthesizer___closed__4; @@ -3907,6 +3923,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_type_declRange___closed__3; static lean_object* l_Lean_Parser_Term_dotIdent_formatter___closed__4; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_scientific_declRange(lean_object*); static lean_object* l_Lean_Parser_Term_byTactic_x27_parenthesizer___closed__2; +static lean_object* l___regBuiltin_Lean_Parser_Term_nofun_formatter___closed__1; static lean_object* l_Lean_Parser_Term_structInstLVal___closed__4; static lean_object* l_Lean_Parser_Term_structInst___closed__9; lean_object* l_Lean_Parser_unicodeSymbol(lean_object*, lean_object*); @@ -3921,10 +3938,12 @@ static lean_object* l_Lean_Parser_Term_haveEqnsDecl_parenthesizer___closed__3; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_leading__parser(lean_object*); static lean_object* l_Lean_Parser_Term_fun___closed__6; LEAN_EXPORT lean_object* l_Lean_Parser_Term_namedArgument; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__6; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_structInstArrayRef_parenthesizer(lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_have_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_dotIdent_declRange___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_hole_declRange___closed__7; +static lean_object* l_Lean_Parser_Term_nofun___closed__3; static lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__11; static lean_object* l_Lean_Parser_Term_basicFun_formatter___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_parenthesizer___closed__2; @@ -3945,7 +3964,6 @@ static lean_object* l_Lean_Parser_Term_sort___closed__6; static lean_object* l_Lean_Parser_Term_forall_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_structInstLVal_formatter___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Tactic_quot_declRange___closed__3; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__3; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev_formatter___closed__5; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_stateRefT_parenthesizer(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_show_declRange___closed__3; @@ -3993,14 +4011,13 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_structInstFieldAbbrev_format LEAN_EXPORT lean_object* l_Lean_Parser_Term_optEllipsis_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_haveDecl_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_cdot_declRange___closed__5; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__35; static lean_object* l_Lean_Parser_Term_waitIfTypeContainsMVar___closed__3; +static lean_object* l_Lean_Parser_Term_nofun_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_match_parenthesizer___closed__10; static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_formatter___closed__6; LEAN_EXPORT lean_object* l_Lean_Parser_Term_rightact_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_dotIdent_formatter___closed__1; static lean_object* l_Lean_Parser_Term_withAnonymousAntiquot_formatter___closed__3; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__15; static lean_object* l_Lean_Parser_Term_typeAscription_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_stateRefT_formatter___closed__7; static lean_object* l_Lean_Parser_Term_fromTerm___closed__7; @@ -4019,6 +4036,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_panic_formatter___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_macroDollarArg_parenthesizer___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_sufficesDecl_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_scientific___closed__1; +static lean_object* l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__5; static lean_object* l_Lean_Parser_Term_depArrow___closed__1; static lean_object* l_Lean_Parser_Term_anonymousCtor___closed__7; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_binop_parenthesizer(lean_object*); @@ -4048,6 +4066,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_haveIdDecl_parenthesizer(lean_object LEAN_EXPORT lean_object* l_Lean_Parser_Term_fromTerm_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_letPatDecl_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Termination_suffix_formatter(lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__13; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_leftact_docString(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_explicit_docString___closed__1; static lean_object* l_Lean_Parser_Term_basicFun_formatter___closed__10; @@ -4104,6 +4123,7 @@ static lean_object* l_Lean_Parser_Term_leading__parser___closed__1; static lean_object* l_Lean_Parser_Term_macroDollarArg___closed__8; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_let__fun_declRange(lean_object*); static lean_object* l_Lean_Parser_Term_optExprPrecedence___closed__2; +static lean_object* l_Lean_Parser_Term_nofun_formatter___closed__2; static lean_object* l_Lean_Parser_Term_dbgTrace_formatter___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Term_fromTerm_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_num_declRange___closed__4; @@ -4203,6 +4223,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_generalizingParam_formatter_ static lean_object* l_Lean_Parser_Term_letDecl___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_withDeclName_declRange___closed__2; static lean_object* l_Lean_Parser_Term_assert___closed__7; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__31; static lean_object* l_Lean_Parser_Command_docComment___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_doubleQuotedName_declRange___closed__6; static lean_object* l_Lean_Parser_Term_quotedName_parenthesizer___closed__3; @@ -4278,6 +4299,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_fromTerm; static lean_object* l_Lean_Parser_Term_namedArgument___closed__10; LEAN_EXPORT lean_object* l_Lean_Parser_Term_whereDecls_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_hole___closed__4; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_ensureExpectedType_formatter(lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_ident; static lean_object* l_Lean_Parser_Term_whereDecls___closed__7; @@ -4302,6 +4324,7 @@ static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__ static lean_object* l_Lean_Parser_Term_doubleQuotedName_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_type___closed__21; static lean_object* l_Lean_Parser_Term_forInMacro_x27___closed__9; +static lean_object* l_Lean_Parser_Term_nofun_formatter___closed__1; lean_object* l_Lean_Parser_many1Indent_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_leading__parser_formatter___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_str___closed__2; @@ -4332,6 +4355,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_motive_parenthesizer___close static lean_object* l___regBuiltin_Lean_Parser_Term_dynamicQuot_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_whereDecls_formatter___closed__5; static lean_object* l_Lean_Parser_Term_hole___closed__1; +static lean_object* l_Lean_Parser_Term_nofun___closed__2; static lean_object* l_Lean_Parser_Term_waitIfTypeMVar_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_falseVal___closed__6; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_unop_declRange(lean_object*); @@ -4377,6 +4401,7 @@ static lean_object* l_Lean_Parser_Term_paren_formatter___closed__3; static lean_object* l_Lean_Parser_Term_fun_formatter___closed__4; static lean_object* l_Lean_Parser_Term_attributes_parenthesizer___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_binop__lazy_declRange___closed__6; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__35; static lean_object* l___regBuiltin_Lean_Parser_Term_dynamicQuot_declRange___closed__1; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_defaultOrOfNonempty_formatter(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_pipeCompletion_declRange___closed__7; @@ -4533,6 +4558,7 @@ lean_object* l_Lean_Parser_mkAntiquot(lean_object*, lean_object*, uint8_t, uint8 lean_object* l_Lean_PrettyPrinter_Parenthesizer_node_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Tactic_tacticSeq___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_tacticSeqIndentGt; +static lean_object* l_Lean_Parser_Term_nofun___closed__5; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_binop__lazy(lean_object*); static lean_object* l_Lean_Parser_Tactic_seq1_formatter___closed__2; static lean_object* l_Lean_Parser_Term_show_parenthesizer___closed__2; @@ -4543,6 +4569,7 @@ static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___c static lean_object* l_Lean_Parser_Term_suffices_parenthesizer___closed__7; LEAN_EXPORT lean_object* l_Lean_Parser_Term_structInst_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_have_parenthesizer___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__15; static lean_object* l_Lean_Parser_Term_unop_formatter___closed__5; static lean_object* l_Lean_Parser_Term_instBinder___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_nomatch_declRange___closed__1; @@ -4606,6 +4633,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_attrInstance_parenthesizer__ static lean_object* l_Lean_Parser_Term_noindex___closed__4; static lean_object* l_Lean_Parser_Term_letPatDecl_parenthesizer___closed__2; lean_object* l_Lean_Parser_incQuotDepth_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__4; static lean_object* l_Lean_Parser_Term_typeAscription_parenthesizer___closed__14; static lean_object* l_Lean_Parser_Term_ellipsis___closed__2; static lean_object* l_Lean_Parser_Term_paren_formatter___closed__6; @@ -4619,7 +4647,6 @@ static lean_object* l_Lean_Parser_Term_let_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_withDeclName_formatter___closed__3; static lean_object* l_Lean_Parser_Term_leading__parser_parenthesizer___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_paren_declRange___closed__5; -LEAN_EXPORT lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712_(lean_object*); static lean_object* l_Lean_Parser_Term_argument___closed__7; static lean_object* l_Lean_Parser_Term_noErrorIfUnused___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Tactic_quotSeq_declRange___closed__2; @@ -4633,6 +4660,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_bracketedBinder_formatter(uint8_t, l static lean_object* l_Lean_Parser_Term_structInstLVal___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_pipeCompletion_declRange___closed__5; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_scientific(lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__12; static lean_object* l_Lean_Parser_Termination_terminationBy_formatter___closed__6; static lean_object* l_Lean_Parser_Term_letIdDecl___closed__1; static lean_object* l_Lean_Parser_Term_basicFun___closed__6; @@ -4650,6 +4678,7 @@ static lean_object* l_Lean_Parser_Term_matchAltsWhereDecls_formatter___closed__4 lean_object* l_Lean_Name_mkStr4(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_strLit_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_trailing__parser_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Term_nofun_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_let__tmp___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Term_letIdBinder_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_doubleQuotedName___closed__12; @@ -4657,6 +4686,7 @@ static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___clos static lean_object* l_Lean_Parser_Term_sufficesDecl_parenthesizer___closed__10; static lean_object* l_Lean_Parser_Term_tuple_parenthesizer___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_sort_declRange___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__32; LEAN_EXPORT lean_object* l_Lean_Parser_Term_basicFun; static lean_object* l_Lean_Parser_Term_attrKind_parenthesizer___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_binop_docString___closed__1; @@ -4666,7 +4696,6 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_ensureTypeOf_declRange( static lean_object* l_Lean_Parser_Term_generalizingParam___closed__5; static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___closed__3; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_dbgTrace_declRange(lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__20; static lean_object* l_Lean_Parser_Term_structInstField_formatter___closed__5; static lean_object* l_Lean_Parser_Term_sufficesDecl_formatter___closed__4; static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_66____closed__14; @@ -4703,6 +4732,7 @@ static lean_object* l_Lean_Parser_Term_forall_formatter___closed__3; static lean_object* l_Lean_Parser_Term_strictImplicitRightBracket___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_let_declRange___closed__5; static lean_object* l_Lean_Parser_Term_forInMacro_x27_parenthesizer___closed__4; +static lean_object* l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__6; static lean_object* l_Lean_Parser_Term_fun_formatter___closed__3; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_ident_declRange(lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_optType; @@ -4771,7 +4801,6 @@ static lean_object* l_Lean_Parser_Term_namedPattern___closed__4; static lean_object* l_Lean_Parser_Term_funBinder_parenthesizer___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_dbgTrace_formatter___closed__2; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__6; static lean_object* l_Lean_Parser_Term_typeAscription_parenthesizer___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Term_letMVar_declRange___closed__4; static lean_object* l_Lean_Parser_Termination_terminationBy___closed__18; @@ -4797,6 +4826,7 @@ static lean_object* l_Lean_Parser_Term_nomatch_formatter___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Term_explicitBinder_formatter(uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_ensureTypeOf___closed__5; static lean_object* l_Lean_Parser_Term_type___closed__20; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__16; static lean_object* l_Lean_Parser_Term_attributes___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_depArrow_declRange___closed__5; static lean_object* l_Lean_Parser_Term_attributes___closed__8; @@ -4981,7 +5011,6 @@ static lean_object* l_Lean_Parser_Tactic_initFn____x40_Lean_Parser_Term___hyg_15 LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented; static lean_object* l_Lean_Parser_Term_let__fun_parenthesizer___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Term_prop_declRange___closed__4; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__34; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_attrInstance_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_waitIfTypeMVar_formatter___closed__4; static lean_object* l_Lean_Parser_Term_binrel___closed__4; @@ -5039,7 +5068,6 @@ static lean_object* l_Lean_Parser_Term_binop__lazy_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_forall_parenthesizer___closed__12; static lean_object* l_Lean_Parser_Term_namedArgument___closed__6; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__13; LEAN_EXPORT lean_object* l_Lean_Parser_Term_dynamicQuot; static lean_object* l___regBuiltin_Lean_Parser_Term_typeSpec_formatter___closed__1; static lean_object* l_Lean_Parser_Term_doubleQuotedName___closed__6; @@ -5057,7 +5085,6 @@ static lean_object* l_Lean_Parser_Term_suffices___closed__8; LEAN_EXPORT lean_object* l_Lean_Parser_Term_prop; static lean_object* l_Lean_Parser_Term_cdot___closed__9; static lean_object* l___regBuiltin_Lean_Parser_Termination_decreasingBy_parenthesizer___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__40; static lean_object* l_Lean_Parser_Term_matchAltsWhereDecls___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Term_optIdent_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_implicitBinder___closed__1; @@ -5105,9 +5132,11 @@ static lean_object* l_Lean_Parser_Tactic_tacticSeqIndentGt_parenthesizer___close static lean_object* l_Lean_Parser_Term_letrec___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Term_ensureTypeOf_declRange___closed__1; static lean_object* l_Lean_Parser_Term_borrowed___closed__6; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__39; static lean_object* l_Lean_Parser_Term_forall_formatter___closed__4; static lean_object* l_Lean_Parser_Term_optExprPrecedence_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_let__tmp_parenthesizer___closed__2; +LEAN_EXPORT lean_object* l_Lean_Parser_Term_nofun_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_attrKind_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_pipeProj___closed__9; static lean_object* l_Lean_Parser_Term_waitIfContainsMVar___closed__1; @@ -5123,7 +5152,6 @@ static lean_object* l_Lean_Parser_Term_macroLastArg_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_letPatDecl___closed__5; static lean_object* l_Lean_Parser_Term_matchAltExpr___closed__1; static lean_object* l_Lean_Parser_Term_depArrow_parenthesizer___closed__2; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__14; static lean_object* l_Lean_Parser_Term_explicitUniv_parenthesizer___closed__5; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_binrel_formatter(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_explicitUniv_declRange___closed__1; @@ -5186,6 +5214,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Command_docComment_parenthesizer(lean_obj static lean_object* l___regBuiltin_Lean_Parser_Term_binderDefault_formatter___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_sepByIndentSemicolon_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_letMVar_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__8; static lean_object* l___regBuiltin_Lean_Parser_Term_unop_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_letRecDecl_formatter___closed__6; static lean_object* l_Lean_Parser_Term_type___closed__9; @@ -5211,6 +5240,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_let__delayed_parenthesizer(lean_obje static lean_object* l_Lean_Parser_Term_ensureExpectedType___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_sort_declRange___closed__7; static lean_object* l_Lean_Parser_Term_namedArgument_formatter___closed__3; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__41; static lean_object* l_Lean_Parser_Term_nomatch___closed__2; static lean_object* l_Lean_Parser_Term_attributes___closed__1; static lean_object* l_Lean_Parser_Term_typeAscription_formatter___closed__3; @@ -5227,7 +5257,6 @@ static lean_object* l_Lean_Parser_Term_structInstArrayRef_formatter___closed__4; static lean_object* l_Lean_Parser_Term_nomatch___closed__7; LEAN_EXPORT lean_object* l_Lean_Parser_Term_matchDiscr_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_waitIfTypeMVar___closed__12; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__18; static lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__8; static lean_object* l_Lean_Parser_Term_macroDollarArg_formatter___closed__1; static lean_object* l_Lean_Parser_Term_depArrow_formatter___closed__2; @@ -5262,6 +5291,7 @@ lean_object* l_Lean_Parser_ppGroup_formatter(lean_object*, lean_object*, lean_ob LEAN_EXPORT lean_object* l_Lean_Parser_Term_defaultOrOfNonempty_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_forInMacro_formatter___closed__4; static lean_object* l_Lean_Parser_Term_let___closed__2; +static lean_object* l_Lean_Parser_Term_nofun___closed__6; static lean_object* l_Lean_Parser_Term_letrec_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_paren___closed__8; LEAN_EXPORT lean_object* l_Lean_Parser_Term_prop_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -5276,6 +5306,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_binop_declRange___closed__5; static lean_object* l_Lean_Parser_Term_rightact_formatter___closed__1; static lean_object* l_Lean_Parser_Term_attributes___closed__7; LEAN_EXPORT lean_object* l_Lean_Parser_Term_implicitBinder_formatter(uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__2; static lean_object* l_Lean_Parser_Term_noindex___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Term_app_declRange___closed__4; static lean_object* l_Lean_Parser_Term_rightact_formatter___closed__2; @@ -28825,6 +28856,371 @@ x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1); return x_6; } } +static lean_object* _init_l_Lean_Parser_Term_nofun___closed__1() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string_from_bytes("nofun", 5); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_nofun___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; +x_1 = l_Lean_Parser_Command_docComment___closed__1; +x_2 = l_Lean_Parser_Command_docComment___closed__2; +x_3 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_66____closed__17; +x_4 = l_Lean_Parser_Term_nofun___closed__1; +x_5 = l_Lean_Name_mkStr4(x_1, x_2, x_3, x_4); +return x_5; +} +} +static lean_object* _init_l_Lean_Parser_Term_nofun___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; uint8_t x_3; uint8_t x_4; lean_object* x_5; +x_1 = l_Lean_Parser_Term_nofun___closed__1; +x_2 = l_Lean_Parser_Term_nofun___closed__2; +x_3 = 1; +x_4 = 0; +x_5 = l_Lean_Parser_mkAntiquot(x_1, x_2, x_3, x_4); +return x_5; +} +} +static lean_object* _init_l_Lean_Parser_Term_nofun___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_nofun___closed__1; +x_2 = l_Lean_Parser_symbol(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_nofun___closed__5() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Term_nofun___closed__2; +x_2 = l_Lean_Parser_leadPrec; +x_3 = l_Lean_Parser_Term_nofun___closed__4; +x_4 = l_Lean_Parser_leadingNode(x_1, x_2, x_3); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Term_nofun___closed__6() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_nofun___closed__3; +x_2 = l_Lean_Parser_Term_nofun___closed__5; +x_3 = l_Lean_Parser_withAntiquot(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_nofun___closed__7() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_nofun___closed__2; +x_2 = l_Lean_Parser_Term_nofun___closed__6; +x_3 = l_Lean_Parser_withCache(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_nofun() { +_start: +{ +lean_object* x_1; +x_1 = l_Lean_Parser_Term_nofun___closed__7; +return x_1; +} +} +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_nofun(lean_object* x_1) { +_start: +{ +lean_object* x_2; lean_object* x_3; uint8_t x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; +x_2 = l___regBuiltin_Lean_Parser_Term_byTactic___closed__2; +x_3 = l_Lean_Parser_Term_nofun___closed__2; +x_4 = 1; +x_5 = l_Lean_Parser_Term_nofun; +x_6 = lean_unsigned_to_nat(1000u); +x_7 = l_Lean_Parser_addBuiltinParser(x_2, x_3, x_4, x_5, x_6, x_1); +return x_7; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_unsigned_to_nat(437u); +x_2 = lean_unsigned_to_nat(23u); +x_3 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_3, 0, x_1); +lean_ctor_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_unsigned_to_nat(437u); +x_2 = lean_unsigned_to_nat(69u); +x_3 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_3, 0, x_1); +lean_ctor_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; +x_1 = l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__1; +x_2 = lean_unsigned_to_nat(23u); +x_3 = l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__2; +x_4 = lean_unsigned_to_nat(69u); +x_5 = lean_alloc_ctor(0, 4, 0); +lean_ctor_set(x_5, 0, x_1); +lean_ctor_set(x_5, 1, x_2); +lean_ctor_set(x_5, 2, x_3); +lean_ctor_set(x_5, 3, x_4); +return x_5; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_unsigned_to_nat(437u); +x_2 = lean_unsigned_to_nat(27u); +x_3 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_3, 0, x_1); +lean_ctor_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__5() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_unsigned_to_nat(437u); +x_2 = lean_unsigned_to_nat(34u); +x_3 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_3, 0, x_1); +lean_ctor_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__6() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; +x_1 = l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__4; +x_2 = lean_unsigned_to_nat(27u); +x_3 = l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__5; +x_4 = lean_unsigned_to_nat(34u); +x_5 = lean_alloc_ctor(0, 4, 0); +lean_ctor_set(x_5, 0, x_1); +lean_ctor_set(x_5, 1, x_2); +lean_ctor_set(x_5, 2, x_3); +lean_ctor_set(x_5, 3, x_4); +return x_5; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__7() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__3; +x_2 = l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__6; +x_3 = lean_alloc_ctor(0, 2, 0); +lean_ctor_set(x_3, 0, x_1); +lean_ctor_set(x_3, 1, x_2); +return x_3; +} +} +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_nofun_declRange(lean_object* x_1) { +_start: +{ +lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_2 = l_Lean_Parser_Term_nofun___closed__2; +x_3 = l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__7; +x_4 = l_Lean_addBuiltinDeclarationRanges(x_2, x_3, x_1); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Term_nofun_formatter___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; uint8_t x_3; uint8_t x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; +x_1 = l_Lean_Parser_Term_nofun___closed__1; +x_2 = l_Lean_Parser_Term_nofun___closed__2; +x_3 = 1; +x_4 = 0; +x_5 = lean_box(x_3); +x_6 = lean_box(x_4); +x_7 = lean_alloc_closure((void*)(l_Lean_Parser_mkAntiquot_formatter___boxed), 9, 4); +lean_closure_set(x_7, 0, x_1); +lean_closure_set(x_7, 1, x_2); +lean_closure_set(x_7, 2, x_5); +lean_closure_set(x_7, 3, x_6); +return x_7; +} +} +static lean_object* _init_l_Lean_Parser_Term_nofun_formatter___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_nofun___closed__1; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbol_formatter), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_nofun_formatter___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Term_nofun___closed__2; +x_2 = l_Lean_Parser_leadPrec; +x_3 = l_Lean_Parser_Term_nofun_formatter___closed__2; +x_4 = lean_alloc_closure((void*)(l_Lean_Parser_leadingNode_formatter___boxed), 8, 3); +lean_closure_set(x_4, 0, x_1); +lean_closure_set(x_4, 1, x_2); +lean_closure_set(x_4, 2, x_3); +return x_4; +} +} +LEAN_EXPORT lean_object* l_Lean_Parser_Term_nofun_formatter(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { +_start: +{ +lean_object* x_6; lean_object* x_7; lean_object* x_8; +x_6 = l_Lean_Parser_Term_nofun_formatter___closed__1; +x_7 = l_Lean_Parser_Term_nofun_formatter___closed__3; +x_8 = l_Lean_PrettyPrinter_Formatter_orelse_formatter(x_6, x_7, x_1, x_2, x_3, x_4, x_5); +return x_8; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_nofun_formatter___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; +x_1 = l_Lean_Parser_Command_docComment___closed__1; +x_2 = l_Lean_Parser_Command_docComment___closed__2; +x_3 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_66____closed__17; +x_4 = l_Lean_Parser_Term_nofun___closed__1; +x_5 = l___regBuiltin_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__1; +x_6 = l_Lean_Name_mkStr5(x_1, x_2, x_3, x_4, x_5); +return x_6; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_nofun_formatter___closed__2() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_nofun_formatter), 5, 0); +return x_1; +} +} +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_nofun_formatter(lean_object* x_1) { +_start: +{ +lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; +x_2 = l___regBuiltin_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__3; +x_3 = l_Lean_Parser_Term_nofun___closed__2; +x_4 = l___regBuiltin_Lean_Parser_Term_nofun_formatter___closed__1; +x_5 = l___regBuiltin_Lean_Parser_Term_nofun_formatter___closed__2; +x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1); +return x_6; +} +} +static lean_object* _init_l_Lean_Parser_Term_nofun_parenthesizer___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; uint8_t x_3; uint8_t x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; +x_1 = l_Lean_Parser_Term_nofun___closed__1; +x_2 = l_Lean_Parser_Term_nofun___closed__2; +x_3 = 1; +x_4 = 0; +x_5 = lean_box(x_3); +x_6 = lean_box(x_4); +x_7 = lean_alloc_closure((void*)(l_Lean_Parser_mkAntiquot_parenthesizer___boxed), 9, 4); +lean_closure_set(x_7, 0, x_1); +lean_closure_set(x_7, 1, x_2); +lean_closure_set(x_7, 2, x_5); +lean_closure_set(x_7, 3, x_6); +return x_7; +} +} +static lean_object* _init_l_Lean_Parser_Term_nofun_parenthesizer___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_nofun___closed__1; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbol_parenthesizer), 6, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_nofun_parenthesizer___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Term_nofun___closed__2; +x_2 = l_Lean_Parser_leadPrec; +x_3 = l_Lean_Parser_Term_nofun_parenthesizer___closed__2; +x_4 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer), 8, 3); +lean_closure_set(x_4, 0, x_1); +lean_closure_set(x_4, 1, x_2); +lean_closure_set(x_4, 2, x_3); +return x_4; +} +} +LEAN_EXPORT lean_object* l_Lean_Parser_Term_nofun_parenthesizer(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { +_start: +{ +lean_object* x_6; lean_object* x_7; lean_object* x_8; +x_6 = l_Lean_Parser_Term_nofun_parenthesizer___closed__1; +x_7 = l_Lean_Parser_Term_nofun_parenthesizer___closed__3; +x_8 = l_Lean_PrettyPrinter_Parenthesizer_withAntiquot_parenthesizer(x_6, x_7, x_1, x_2, x_3, x_4, x_5); +return x_8; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_nofun_parenthesizer___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; +x_1 = l_Lean_Parser_Command_docComment___closed__1; +x_2 = l_Lean_Parser_Command_docComment___closed__2; +x_3 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_66____closed__17; +x_4 = l_Lean_Parser_Term_nofun___closed__1; +x_5 = l___regBuiltin_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__1; +x_6 = l_Lean_Name_mkStr5(x_1, x_2, x_3, x_4, x_5); +return x_6; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_nofun_parenthesizer___closed__2() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_nofun_parenthesizer), 5, 0); +return x_1; +} +} +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_nofun_parenthesizer(lean_object* x_1) { +_start: +{ +lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; +x_2 = l___regBuiltin_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__3; +x_3 = l_Lean_Parser_Term_nofun___closed__2; +x_4 = l___regBuiltin_Lean_Parser_Term_nofun_parenthesizer___closed__1; +x_5 = l___regBuiltin_Lean_Parser_Term_nofun_parenthesizer___closed__2; +x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1); +return x_6; +} +} static lean_object* _init_l_Lean_Parser_Term_funImplicitBinder___closed__1() { _start: { @@ -29345,7 +29741,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_fun_declRange___closed _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(451u); +x_1 = lean_unsigned_to_nat(453u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -29357,7 +29753,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_fun_declRange___closed _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(452u); +x_1 = lean_unsigned_to_nat(454u); x_2 = lean_unsigned_to_nat(73u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -29385,7 +29781,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_fun_declRange___closed _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(451u); +x_1 = lean_unsigned_to_nat(453u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -29397,7 +29793,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_fun_declRange___closed _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(451u); +x_1 = lean_unsigned_to_nat(453u); x_2 = lean_unsigned_to_nat(32u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -30839,7 +31235,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_leading__parser_declRa _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(458u); +x_1 = lean_unsigned_to_nat(460u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -30851,7 +31247,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_leading__parser_declRa _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(459u); +x_1 = lean_unsigned_to_nat(461u); x_2 = lean_unsigned_to_nat(98u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -30879,7 +31275,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_leading__parser_declRa _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(458u); +x_1 = lean_unsigned_to_nat(460u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -30891,7 +31287,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_leading__parser_declRa _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(458u); +x_1 = lean_unsigned_to_nat(460u); x_2 = lean_unsigned_to_nat(43u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -31736,7 +32132,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_trailing__parser_declR _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(460u); +x_1 = lean_unsigned_to_nat(462u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -31748,7 +32144,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_trailing__parser_declR _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(461u); +x_1 = lean_unsigned_to_nat(463u); x_2 = lean_unsigned_to_nat(86u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -31776,7 +32172,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_trailing__parser_declR _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(460u); +x_1 = lean_unsigned_to_nat(462u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -31788,7 +32184,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_trailing__parser_declR _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(460u); +x_1 = lean_unsigned_to_nat(462u); x_2 = lean_unsigned_to_nat(44u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -32200,7 +32596,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_borrowed_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(463u); +x_1 = lean_unsigned_to_nat(465u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -32212,7 +32608,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_borrowed_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(464u); +x_1 = lean_unsigned_to_nat(466u); x_2 = lean_unsigned_to_nat(30u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -32240,7 +32636,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_borrowed_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(463u); +x_1 = lean_unsigned_to_nat(465u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -32252,7 +32648,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_borrowed_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(463u); +x_1 = lean_unsigned_to_nat(465u); x_2 = lean_unsigned_to_nat(35u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -32608,7 +33004,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_quotedName_declRange__ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(466u); +x_1 = lean_unsigned_to_nat(468u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -32620,7 +33016,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_quotedName_declRange__ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(466u); +x_1 = lean_unsigned_to_nat(468u); x_2 = lean_unsigned_to_nat(63u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -32648,7 +33044,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_quotedName_declRange__ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(466u); +x_1 = lean_unsigned_to_nat(468u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -32660,7 +33056,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_quotedName_declRange__ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(466u); +x_1 = lean_unsigned_to_nat(468u); x_2 = lean_unsigned_to_nat(37u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -33052,7 +33448,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_doubleQuotedName_declR _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(473u); +x_1 = lean_unsigned_to_nat(475u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -33064,7 +33460,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_doubleQuotedName_declR _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(474u); +x_1 = lean_unsigned_to_nat(476u); x_2 = lean_unsigned_to_nat(68u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -33092,7 +33488,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_doubleQuotedName_declR _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(473u); +x_1 = lean_unsigned_to_nat(475u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -33104,7 +33500,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_doubleQuotedName_declR _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(473u); +x_1 = lean_unsigned_to_nat(475u); x_2 = lean_unsigned_to_nat(43u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -34177,7 +34573,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_let_declRange___closed _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(536u); +x_1 = lean_unsigned_to_nat(538u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -34189,7 +34585,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_let_declRange___closed _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(537u); +x_1 = lean_unsigned_to_nat(539u); x_2 = lean_unsigned_to_nat(61u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -34217,7 +34613,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_let_declRange___closed _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(536u); +x_1 = lean_unsigned_to_nat(538u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -34229,7 +34625,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_let_declRange___closed _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(536u); +x_1 = lean_unsigned_to_nat(538u); x_2 = lean_unsigned_to_nat(32u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -35876,7 +36272,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_let__fun_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(543u); +x_1 = lean_unsigned_to_nat(545u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -35888,7 +36284,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_let__fun_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(544u); +x_1 = lean_unsigned_to_nat(546u); x_2 = lean_unsigned_to_nat(87u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -35916,7 +36312,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_let__fun_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(543u); +x_1 = lean_unsigned_to_nat(545u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -35928,7 +36324,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_let__fun_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(543u); +x_1 = lean_unsigned_to_nat(545u); x_2 = lean_unsigned_to_nat(36u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -36408,7 +36804,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_let__delayed_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(548u); +x_1 = lean_unsigned_to_nat(550u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -36420,7 +36816,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_let__delayed_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(549u); +x_1 = lean_unsigned_to_nat(551u); x_2 = lean_unsigned_to_nat(69u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -36448,7 +36844,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_let__delayed_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(548u); +x_1 = lean_unsigned_to_nat(550u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -36460,7 +36856,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_let__delayed_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(548u); +x_1 = lean_unsigned_to_nat(550u); x_2 = lean_unsigned_to_nat(40u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -36896,7 +37292,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_let__tmp_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(554u); +x_1 = lean_unsigned_to_nat(556u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -36908,7 +37304,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_let__tmp_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(555u); +x_1 = lean_unsigned_to_nat(557u); x_2 = lean_unsigned_to_nat(65u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -36936,7 +37332,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_let__tmp_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(554u); +x_1 = lean_unsigned_to_nat(556u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -36948,7 +37344,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_let__tmp_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(554u); +x_1 = lean_unsigned_to_nat(556u); x_2 = lean_unsigned_to_nat(36u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -37675,7 +38071,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_have_declRange___close _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(568u); +x_1 = lean_unsigned_to_nat(570u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -37687,7 +38083,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_have_declRange___close _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(569u); +x_1 = lean_unsigned_to_nat(571u); x_2 = lean_unsigned_to_nat(62u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -37715,7 +38111,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_have_declRange___close _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(568u); +x_1 = lean_unsigned_to_nat(570u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -37727,7 +38123,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_have_declRange___close _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(568u); +x_1 = lean_unsigned_to_nat(570u); x_2 = lean_unsigned_to_nat(33u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -39582,7 +39978,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_letrec_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(587u); +x_1 = lean_unsigned_to_nat(589u); x_2 = lean_unsigned_to_nat(0u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -39594,7 +39990,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_letrec_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(589u); +x_1 = lean_unsigned_to_nat(591u); x_2 = lean_unsigned_to_nat(25u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -39622,7 +40018,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_letrec_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(587u); +x_1 = lean_unsigned_to_nat(589u); x_2 = lean_unsigned_to_nat(4u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -39634,7 +40030,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_letrec_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(587u); +x_1 = lean_unsigned_to_nat(589u); x_2 = lean_unsigned_to_nat(12u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -43429,7 +43825,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_noindex_declRange___cl _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(599u); +x_1 = lean_unsigned_to_nat(601u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -43441,7 +43837,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_noindex_declRange___cl _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(600u); +x_1 = lean_unsigned_to_nat(602u); x_2 = lean_unsigned_to_nat(35u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -43469,7 +43865,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_noindex_declRange___cl _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(599u); +x_1 = lean_unsigned_to_nat(601u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -43481,7 +43877,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_noindex_declRange___cl _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(599u); +x_1 = lean_unsigned_to_nat(601u); x_2 = lean_unsigned_to_nat(34u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -43894,7 +44290,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_binrel_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(603u); +x_1 = lean_unsigned_to_nat(605u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -43906,7 +44302,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_binrel_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(604u); +x_1 = lean_unsigned_to_nat(606u); x_2 = lean_unsigned_to_nat(87u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -43934,7 +44330,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_binrel_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(603u); +x_1 = lean_unsigned_to_nat(605u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -43946,7 +44342,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_binrel_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(603u); +x_1 = lean_unsigned_to_nat(605u); x_2 = lean_unsigned_to_nat(33u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -44403,7 +44799,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_binrel__no__prop_declR _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(606u); +x_1 = lean_unsigned_to_nat(608u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -44415,7 +44811,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_binrel__no__prop_declR _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(607u); +x_1 = lean_unsigned_to_nat(609u); x_2 = lean_unsigned_to_nat(95u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -44443,7 +44839,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_binrel__no__prop_declR _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(606u); +x_1 = lean_unsigned_to_nat(608u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -44455,7 +44851,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_binrel__no__prop_declR _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(606u); +x_1 = lean_unsigned_to_nat(608u); x_2 = lean_unsigned_to_nat(41u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -44828,7 +45224,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_binop_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(609u); +x_1 = lean_unsigned_to_nat(611u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -44840,7 +45236,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_binop_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(610u); +x_1 = lean_unsigned_to_nat(612u); x_2 = lean_unsigned_to_nat(86u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -44868,7 +45264,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_binop_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(609u); +x_1 = lean_unsigned_to_nat(611u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -44880,7 +45276,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_binop_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(609u); +x_1 = lean_unsigned_to_nat(611u); x_2 = lean_unsigned_to_nat(32u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -45253,7 +45649,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_binop__lazy_declRange_ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(612u); +x_1 = lean_unsigned_to_nat(614u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -45265,7 +45661,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_binop__lazy_declRange_ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(613u); +x_1 = lean_unsigned_to_nat(615u); x_2 = lean_unsigned_to_nat(91u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -45293,7 +45689,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_binop__lazy_declRange_ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(612u); +x_1 = lean_unsigned_to_nat(614u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -45305,7 +45701,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_binop__lazy_declRange_ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(612u); +x_1 = lean_unsigned_to_nat(614u); x_2 = lean_unsigned_to_nat(37u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -45678,7 +46074,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_leftact_declRange___cl _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(616u); +x_1 = lean_unsigned_to_nat(618u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -45690,7 +46086,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_leftact_declRange___cl _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(617u); +x_1 = lean_unsigned_to_nat(619u); x_2 = lean_unsigned_to_nat(88u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -45718,7 +46114,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_leftact_declRange___cl _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(616u); +x_1 = lean_unsigned_to_nat(618u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -45730,7 +46126,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_leftact_declRange___cl _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(616u); +x_1 = lean_unsigned_to_nat(618u); x_2 = lean_unsigned_to_nat(34u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -46103,7 +46499,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_rightact_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(620u); +x_1 = lean_unsigned_to_nat(622u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -46115,7 +46511,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_rightact_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(621u); +x_1 = lean_unsigned_to_nat(623u); x_2 = lean_unsigned_to_nat(89u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -46143,7 +46539,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_rightact_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(620u); +x_1 = lean_unsigned_to_nat(622u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -46155,7 +46551,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_rightact_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(620u); +x_1 = lean_unsigned_to_nat(622u); x_2 = lean_unsigned_to_nat(35u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -46538,7 +46934,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_unop_declRange___close _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(623u); +x_1 = lean_unsigned_to_nat(625u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -46550,7 +46946,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_unop_declRange___close _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(624u); +x_1 = lean_unsigned_to_nat(626u); x_2 = lean_unsigned_to_nat(52u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -46578,7 +46974,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_unop_declRange___close _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(623u); +x_1 = lean_unsigned_to_nat(625u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -46590,7 +46986,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_unop_declRange___close _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(623u); +x_1 = lean_unsigned_to_nat(625u); x_2 = lean_unsigned_to_nat(31u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -46979,7 +47375,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_declRange__ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(626u); +x_1 = lean_unsigned_to_nat(628u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -46991,7 +47387,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_declRange__ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(627u); +x_1 = lean_unsigned_to_nat(629u); x_2 = lean_unsigned_to_nat(89u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -47019,7 +47415,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_declRange__ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(626u); +x_1 = lean_unsigned_to_nat(628u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -47031,7 +47427,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_declRange__ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(626u); +x_1 = lean_unsigned_to_nat(628u); x_2 = lean_unsigned_to_nat(37u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -47410,7 +47806,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRan _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(628u); +x_1 = lean_unsigned_to_nat(630u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -47422,7 +47818,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRan _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(629u); +x_1 = lean_unsigned_to_nat(631u); x_2 = lean_unsigned_to_nat(90u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -47450,7 +47846,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRan _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(628u); +x_1 = lean_unsigned_to_nat(630u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -47462,7 +47858,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_forInMacro_x27_declRan _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(628u); +x_1 = lean_unsigned_to_nat(630u); x_2 = lean_unsigned_to_nat(38u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -47825,7 +48221,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_declName_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(632u); +x_1 = lean_unsigned_to_nat(634u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -47837,7 +48233,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_declName_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(632u); +x_1 = lean_unsigned_to_nat(634u); x_2 = lean_unsigned_to_nat(66u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -47865,7 +48261,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_declName_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(632u); +x_1 = lean_unsigned_to_nat(634u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -47877,7 +48273,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_declName_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(632u); +x_1 = lean_unsigned_to_nat(634u); x_2 = lean_unsigned_to_nat(35u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -48255,7 +48651,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_withDeclName_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(640u); +x_1 = lean_unsigned_to_nat(642u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -48267,7 +48663,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_withDeclName_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(641u); +x_1 = lean_unsigned_to_nat(643u); x_2 = lean_unsigned_to_nat(70u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -48295,7 +48691,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_withDeclName_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(640u); +x_1 = lean_unsigned_to_nat(642u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -48307,7 +48703,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_withDeclName_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(640u); +x_1 = lean_unsigned_to_nat(642u); x_2 = lean_unsigned_to_nat(39u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -48718,7 +49114,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_typeOf_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(642u); +x_1 = lean_unsigned_to_nat(644u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -48730,7 +49126,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_typeOf_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(643u); +x_1 = lean_unsigned_to_nat(645u); x_2 = lean_unsigned_to_nat(35u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -48758,7 +49154,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_typeOf_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(642u); +x_1 = lean_unsigned_to_nat(644u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -48770,7 +49166,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_typeOf_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(642u); +x_1 = lean_unsigned_to_nat(644u); x_2 = lean_unsigned_to_nat(33u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -49145,7 +49541,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_ensureTypeOf_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(644u); +x_1 = lean_unsigned_to_nat(646u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -49157,7 +49553,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_ensureTypeOf_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(645u); +x_1 = lean_unsigned_to_nat(647u); x_2 = lean_unsigned_to_nat(77u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -49185,7 +49581,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_ensureTypeOf_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(644u); +x_1 = lean_unsigned_to_nat(646u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -49197,7 +49593,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_ensureTypeOf_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(644u); +x_1 = lean_unsigned_to_nat(646u); x_2 = lean_unsigned_to_nat(39u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -49610,7 +50006,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_ensureExpectedType_dec _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(646u); +x_1 = lean_unsigned_to_nat(648u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -49622,7 +50018,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_ensureExpectedType_dec _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(647u); +x_1 = lean_unsigned_to_nat(649u); x_2 = lean_unsigned_to_nat(69u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -49650,7 +50046,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_ensureExpectedType_dec _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(646u); +x_1 = lean_unsigned_to_nat(648u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -49662,7 +50058,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_ensureExpectedType_dec _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(646u); +x_1 = lean_unsigned_to_nat(648u); x_2 = lean_unsigned_to_nat(45u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -50029,7 +50425,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_noImplicitLambda_declR _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(648u); +x_1 = lean_unsigned_to_nat(650u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -50041,7 +50437,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_noImplicitLambda_declR _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(649u); +x_1 = lean_unsigned_to_nat(651u); x_2 = lean_unsigned_to_nat(46u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -50069,7 +50465,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_noImplicitLambda_declR _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(648u); +x_1 = lean_unsigned_to_nat(650u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -50081,7 +50477,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_noImplicitLambda_declR _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(648u); +x_1 = lean_unsigned_to_nat(650u); x_2 = lean_unsigned_to_nat(43u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -50474,7 +50870,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_clear_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(655u); +x_1 = lean_unsigned_to_nat(657u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -50486,7 +50882,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_clear_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(656u); +x_1 = lean_unsigned_to_nat(658u); x_2 = lean_unsigned_to_nat(77u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -50514,7 +50910,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_clear_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(655u); +x_1 = lean_unsigned_to_nat(657u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -50526,7 +50922,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_clear_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(655u); +x_1 = lean_unsigned_to_nat(657u); x_2 = lean_unsigned_to_nat(32u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -51003,7 +51399,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_letMVar_declRange___cl _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(658u); +x_1 = lean_unsigned_to_nat(660u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -51015,7 +51411,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_letMVar_declRange___cl _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(659u); +x_1 = lean_unsigned_to_nat(661u); x_2 = lean_unsigned_to_nat(76u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -51043,7 +51439,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_letMVar_declRange___cl _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(658u); +x_1 = lean_unsigned_to_nat(660u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -51055,7 +51451,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_letMVar_declRange___cl _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(658u); +x_1 = lean_unsigned_to_nat(660u); x_2 = lean_unsigned_to_nat(34u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -51560,7 +51956,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_waitIfTypeMVar_declRan _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(660u); +x_1 = lean_unsigned_to_nat(662u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -51572,7 +51968,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_waitIfTypeMVar_declRan _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(661u); +x_1 = lean_unsigned_to_nat(663u); x_2 = lean_unsigned_to_nat(61u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -51600,7 +51996,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_waitIfTypeMVar_declRan _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(660u); +x_1 = lean_unsigned_to_nat(662u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -51612,7 +52008,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_waitIfTypeMVar_declRan _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(660u); +x_1 = lean_unsigned_to_nat(662u); x_2 = lean_unsigned_to_nat(41u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -52027,7 +52423,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_waitIfTypeContainsMVar _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(662u); +x_1 = lean_unsigned_to_nat(664u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -52039,7 +52435,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_waitIfTypeContainsMVar _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(663u); +x_1 = lean_unsigned_to_nat(665u); x_2 = lean_unsigned_to_nat(70u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -52067,7 +52463,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_waitIfTypeContainsMVar _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(662u); +x_1 = lean_unsigned_to_nat(664u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -52079,7 +52475,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_waitIfTypeContainsMVar _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(662u); +x_1 = lean_unsigned_to_nat(664u); x_2 = lean_unsigned_to_nat(49u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -52434,7 +52830,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_waitIfContainsMVar_dec _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(664u); +x_1 = lean_unsigned_to_nat(666u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -52446,7 +52842,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_waitIfContainsMVar_dec _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(665u); +x_1 = lean_unsigned_to_nat(667u); x_2 = lean_unsigned_to_nat(65u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -52474,7 +52870,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_waitIfContainsMVar_dec _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(664u); +x_1 = lean_unsigned_to_nat(666u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -52486,7 +52882,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_waitIfContainsMVar_dec _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(664u); +x_1 = lean_unsigned_to_nat(666u); x_2 = lean_unsigned_to_nat(45u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -52867,7 +53263,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_defaultOrOfNonempty_de _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(667u); +x_1 = lean_unsigned_to_nat(669u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -52879,7 +53275,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_defaultOrOfNonempty_de _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(668u); +x_1 = lean_unsigned_to_nat(670u); x_2 = lean_unsigned_to_nat(48u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -52907,7 +53303,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_defaultOrOfNonempty_de _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(667u); +x_1 = lean_unsigned_to_nat(669u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -52919,7 +53315,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_defaultOrOfNonempty_de _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(667u); +x_1 = lean_unsigned_to_nat(669u); x_2 = lean_unsigned_to_nat(46u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -53332,7 +53728,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_noErrorIfUnused_declRa _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(674u); +x_1 = lean_unsigned_to_nat(676u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -53344,7 +53740,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_noErrorIfUnused_declRa _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(675u); +x_1 = lean_unsigned_to_nat(677u); x_2 = lean_unsigned_to_nat(38u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -53372,7 +53768,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_noErrorIfUnused_declRa _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(674u); +x_1 = lean_unsigned_to_nat(676u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -53384,7 +53780,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_noErrorIfUnused_declRa _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(674u); +x_1 = lean_unsigned_to_nat(676u); x_2 = lean_unsigned_to_nat(42u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -54005,7 +54401,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_app_declRange___closed _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(688u); +x_1 = lean_unsigned_to_nat(690u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -54017,7 +54413,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_app_declRange___closed _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(688u); +x_1 = lean_unsigned_to_nat(690u); x_2 = lean_unsigned_to_nat(81u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -54045,7 +54441,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_app_declRange___closed _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(688u); +x_1 = lean_unsigned_to_nat(690u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -54057,7 +54453,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_app_declRange___closed _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(688u); +x_1 = lean_unsigned_to_nat(690u); x_2 = lean_unsigned_to_nat(30u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -54898,7 +55294,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_proj_declRange___close _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(702u); +x_1 = lean_unsigned_to_nat(704u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -54910,7 +55306,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_proj_declRange___close _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(703u); +x_1 = lean_unsigned_to_nat(705u); x_2 = lean_unsigned_to_nat(70u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -54938,7 +55334,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_proj_declRange___close _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(702u); +x_1 = lean_unsigned_to_nat(704u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -54950,7 +55346,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_proj_declRange___close _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(702u); +x_1 = lean_unsigned_to_nat(704u); x_2 = lean_unsigned_to_nat(31u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -55265,7 +55661,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_completion_declRange__ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(704u); +x_1 = lean_unsigned_to_nat(706u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -55277,7 +55673,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_completion_declRange__ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(705u); +x_1 = lean_unsigned_to_nat(707u); x_2 = lean_unsigned_to_nat(24u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -55305,7 +55701,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_completion_declRange__ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(704u); +x_1 = lean_unsigned_to_nat(706u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -55317,7 +55713,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_completion_declRange__ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(704u); +x_1 = lean_unsigned_to_nat(706u); x_2 = lean_unsigned_to_nat(37u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -55572,7 +55968,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_arrow_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(706u); +x_1 = lean_unsigned_to_nat(708u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -55584,7 +55980,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_arrow_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(707u); +x_1 = lean_unsigned_to_nat(709u); x_2 = lean_unsigned_to_nat(61u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -55612,7 +56008,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_arrow_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(706u); +x_1 = lean_unsigned_to_nat(708u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -55624,7 +56020,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_arrow_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(706u); +x_1 = lean_unsigned_to_nat(708u); x_2 = lean_unsigned_to_nat(32u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -56042,7 +56438,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_explicitUniv_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(714u); +x_1 = lean_unsigned_to_nat(716u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -56054,7 +56450,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_explicitUniv_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(717u); +x_1 = lean_unsigned_to_nat(719u); x_2 = lean_unsigned_to_nat(32u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -56082,7 +56478,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_explicitUniv_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(714u); +x_1 = lean_unsigned_to_nat(716u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -56094,7 +56490,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_explicitUniv_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(714u); +x_1 = lean_unsigned_to_nat(716u); x_2 = lean_unsigned_to_nat(39u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -56566,7 +56962,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_namedPattern_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(720u); +x_1 = lean_unsigned_to_nat(722u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -56578,7 +56974,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_namedPattern_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(723u); +x_1 = lean_unsigned_to_nat(725u); x_2 = lean_unsigned_to_nat(56u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -56606,7 +57002,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_namedPattern_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(720u); +x_1 = lean_unsigned_to_nat(722u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -56618,7 +57014,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_namedPattern_declRange _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(720u); +x_1 = lean_unsigned_to_nat(722u); x_2 = lean_unsigned_to_nat(39u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -57045,7 +57441,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_pipeProj_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(729u); +x_1 = lean_unsigned_to_nat(731u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -57057,7 +57453,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_pipeProj_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(730u); +x_1 = lean_unsigned_to_nat(732u); x_2 = lean_unsigned_to_nat(71u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -57085,7 +57481,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_pipeProj_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(729u); +x_1 = lean_unsigned_to_nat(731u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -57097,7 +57493,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_pipeProj_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(729u); +x_1 = lean_unsigned_to_nat(731u); x_2 = lean_unsigned_to_nat(35u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -57402,7 +57798,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_pipeCompletion_declRan _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(731u); +x_1 = lean_unsigned_to_nat(733u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -57414,7 +57810,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_pipeCompletion_declRan _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(732u); +x_1 = lean_unsigned_to_nat(734u); x_2 = lean_unsigned_to_nat(8u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -57442,7 +57838,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_pipeCompletion_declRan _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(731u); +x_1 = lean_unsigned_to_nat(733u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -57454,7 +57850,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_pipeCompletion_declRan _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(731u); +x_1 = lean_unsigned_to_nat(733u); x_2 = lean_unsigned_to_nat(41u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -57713,7 +58109,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_subst_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(742u); +x_1 = lean_unsigned_to_nat(744u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -57725,7 +58121,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_subst_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(743u); +x_1 = lean_unsigned_to_nat(745u); x_2 = lean_unsigned_to_nat(39u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -57753,7 +58149,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_subst_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(742u); +x_1 = lean_unsigned_to_nat(744u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -57765,7 +58161,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_subst_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(742u); +x_1 = lean_unsigned_to_nat(744u); x_2 = lean_unsigned_to_nat(32u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -58146,7 +58542,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_panic_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(756u); +x_1 = lean_unsigned_to_nat(758u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -58158,7 +58554,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_panic_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(757u); +x_1 = lean_unsigned_to_nat(759u); x_2 = lean_unsigned_to_nat(25u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -58186,7 +58582,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_panic_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(756u); +x_1 = lean_unsigned_to_nat(758u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -58198,7 +58594,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_panic_declRange___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(756u); +x_1 = lean_unsigned_to_nat(758u); x_2 = lean_unsigned_to_nat(32u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -58561,7 +58957,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_unreachable_declRange_ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(759u); +x_1 = lean_unsigned_to_nat(761u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -58573,7 +58969,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_unreachable_declRange_ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(760u); +x_1 = lean_unsigned_to_nat(762u); x_2 = lean_unsigned_to_nat(16u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -58601,7 +58997,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_unreachable_declRange_ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(759u); +x_1 = lean_unsigned_to_nat(761u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -58613,7 +59009,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_unreachable_declRange_ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(759u); +x_1 = lean_unsigned_to_nat(761u); x_2 = lean_unsigned_to_nat(38u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -59000,7 +59396,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_dbgTrace_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(765u); +x_1 = lean_unsigned_to_nat(767u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -59012,7 +59408,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_dbgTrace_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(767u); +x_1 = lean_unsigned_to_nat(769u); x_2 = lean_unsigned_to_nat(25u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -59040,7 +59436,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_dbgTrace_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(765u); +x_1 = lean_unsigned_to_nat(767u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -59052,7 +59448,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_dbgTrace_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(765u); +x_1 = lean_unsigned_to_nat(767u); x_2 = lean_unsigned_to_nat(35u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -59532,7 +59928,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_assert_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(769u); +x_1 = lean_unsigned_to_nat(771u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -59544,7 +59940,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_assert_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(770u); +x_1 = lean_unsigned_to_nat(772u); x_2 = lean_unsigned_to_nat(68u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -59572,7 +59968,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_assert_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(769u); +x_1 = lean_unsigned_to_nat(771u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -59584,7 +59980,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_assert_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(769u); +x_1 = lean_unsigned_to_nat(771u); x_2 = lean_unsigned_to_nat(33u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -60136,7 +60532,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_stateRefT_declRange___ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(778u); +x_1 = lean_unsigned_to_nat(780u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -60148,7 +60544,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_stateRefT_declRange___ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(779u); +x_1 = lean_unsigned_to_nat(781u); x_2 = lean_unsigned_to_nat(53u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -60176,7 +60572,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_stateRefT_declRange___ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(778u); +x_1 = lean_unsigned_to_nat(780u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -60188,7 +60584,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_stateRefT_declRange___ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(778u); +x_1 = lean_unsigned_to_nat(780u); x_2 = lean_unsigned_to_nat(36u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -60923,7 +61319,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_dynamicQuot_declRange_ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(781u); +x_1 = lean_unsigned_to_nat(783u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -60935,7 +61331,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_dynamicQuot_declRange_ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(782u); +x_1 = lean_unsigned_to_nat(784u); x_2 = lean_unsigned_to_nat(64u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -60963,7 +61359,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_dynamicQuot_declRange_ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(781u); +x_1 = lean_unsigned_to_nat(783u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -60975,7 +61371,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_dynamicQuot_declRange_ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(781u); +x_1 = lean_unsigned_to_nat(783u); x_2 = lean_unsigned_to_nat(38u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -61439,7 +61835,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_dotIdent_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(784u); +x_1 = lean_unsigned_to_nat(786u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -61451,7 +61847,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_dotIdent_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(785u); +x_1 = lean_unsigned_to_nat(787u); x_2 = lean_unsigned_to_nat(36u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -61479,7 +61875,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_dotIdent_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(784u); +x_1 = lean_unsigned_to_nat(786u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -61491,7 +61887,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Term_dotIdent_declRange___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(784u); +x_1 = lean_unsigned_to_nat(786u); x_2 = lean_unsigned_to_nat(35u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -61879,7 +62275,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_quot_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(789u); +x_1 = lean_unsigned_to_nat(791u); x_2 = lean_unsigned_to_nat(33u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -61891,7 +62287,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_quot_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(790u); +x_1 = lean_unsigned_to_nat(792u); x_2 = lean_unsigned_to_nat(68u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -61919,7 +62315,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_quot_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(789u); +x_1 = lean_unsigned_to_nat(791u); x_2 = lean_unsigned_to_nat(37u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -61931,7 +62327,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_quot_declRange___clo _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(789u); +x_1 = lean_unsigned_to_nat(791u); x_2 = lean_unsigned_to_nat(48u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -62362,7 +62758,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_quotSeq_declRange___ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(791u); +x_1 = lean_unsigned_to_nat(793u); x_2 = lean_unsigned_to_nat(23u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -62374,7 +62770,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_quotSeq_declRange___ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(792u); +x_1 = lean_unsigned_to_nat(794u); x_2 = lean_unsigned_to_nat(67u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -62402,7 +62798,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_quotSeq_declRange___ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(791u); +x_1 = lean_unsigned_to_nat(793u); x_2 = lean_unsigned_to_nat(27u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -62414,7 +62810,7 @@ static lean_object* _init_l___regBuiltin_Lean_Parser_Tactic_quotSeq_declRange___ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(791u); +x_1 = lean_unsigned_to_nat(793u); x_2 = lean_unsigned_to_nat(41u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); @@ -62838,7 +63234,7 @@ x_6 = l_Lean_KeyedDeclsAttribute_addBuiltin___rarg(x_2, x_3, x_4, x_5, x_1); return x_6; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__1() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__1() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -62848,7 +63244,7 @@ x_3 = l_Lean_Name_str___override(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__2() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__2() { _start: { lean_object* x_1; lean_object* x_2; @@ -62858,7 +63254,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__3() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__3() { _start: { lean_object* x_1; lean_object* x_2; @@ -62868,7 +63264,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__4() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__4() { _start: { lean_object* x_1; lean_object* x_2; @@ -62878,7 +63274,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__5() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__5() { _start: { lean_object* x_1; lean_object* x_2; @@ -62888,7 +63284,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__6() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__6() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -62898,7 +63294,7 @@ x_3 = l_Lean_Name_str___override(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__7() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__7() { _start: { lean_object* x_1; lean_object* x_2; @@ -62908,7 +63304,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__8() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__8() { _start: { lean_object* x_1; lean_object* x_2; @@ -62918,7 +63314,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__9() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__9() { _start: { lean_object* x_1; lean_object* x_2; @@ -62928,7 +63324,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__10() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__10() { _start: { lean_object* x_1; lean_object* x_2; @@ -62938,7 +63334,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__11() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__11() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -62948,7 +63344,7 @@ x_3 = l_Lean_Name_str___override(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__12() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__12() { _start: { lean_object* x_1; lean_object* x_2; @@ -62958,7 +63354,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__13() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__13() { _start: { lean_object* x_1; lean_object* x_2; @@ -62968,7 +63364,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__14() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__14() { _start: { lean_object* x_1; lean_object* x_2; @@ -62978,7 +63374,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__15() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__15() { _start: { lean_object* x_1; lean_object* x_2; @@ -62988,7 +63384,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__16() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__16() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -62998,7 +63394,7 @@ x_3 = l_Lean_Name_str___override(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__17() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__17() { _start: { lean_object* x_1; lean_object* x_2; @@ -63008,7 +63404,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__18() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__18() { _start: { lean_object* x_1; lean_object* x_2; @@ -63018,7 +63414,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__19() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__19() { _start: { lean_object* x_1; lean_object* x_2; @@ -63028,7 +63424,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__20() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__20() { _start: { lean_object* x_1; lean_object* x_2; @@ -63038,7 +63434,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__21() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__21() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -63048,7 +63444,7 @@ x_3 = l_Lean_Name_str___override(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__22() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__22() { _start: { lean_object* x_1; lean_object* x_2; @@ -63058,7 +63454,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__23() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__23() { _start: { lean_object* x_1; lean_object* x_2; @@ -63068,7 +63464,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__24() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__24() { _start: { lean_object* x_1; lean_object* x_2; @@ -63078,7 +63474,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__25() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__25() { _start: { lean_object* x_1; lean_object* x_2; @@ -63088,7 +63484,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__26() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__26() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -63098,7 +63494,7 @@ x_3 = l_Lean_Name_str___override(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__27() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__27() { _start: { lean_object* x_1; lean_object* x_2; @@ -63108,7 +63504,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__28() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__28() { _start: { lean_object* x_1; lean_object* x_2; @@ -63118,7 +63514,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__29() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__29() { _start: { lean_object* x_1; lean_object* x_2; @@ -63128,7 +63524,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__30() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__30() { _start: { lean_object* x_1; lean_object* x_2; @@ -63138,7 +63534,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__31() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__31() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -63148,7 +63544,7 @@ x_3 = l_Lean_Name_str___override(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__32() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__32() { _start: { lean_object* x_1; lean_object* x_2; @@ -63158,7 +63554,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__33() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__33() { _start: { lean_object* x_1; lean_object* x_2; @@ -63168,7 +63564,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__34() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__34() { _start: { lean_object* x_1; lean_object* x_2; @@ -63178,7 +63574,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__35() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__35() { _start: { lean_object* x_1; lean_object* x_2; @@ -63188,7 +63584,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__36() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__36() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -63198,7 +63594,7 @@ x_3 = l_Lean_Name_str___override(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__37() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__37() { _start: { lean_object* x_1; lean_object* x_2; @@ -63208,7 +63604,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__38() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__38() { _start: { lean_object* x_1; lean_object* x_2; @@ -63218,7 +63614,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__39() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__39() { _start: { lean_object* x_1; lean_object* x_2; @@ -63228,7 +63624,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__40() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__40() { _start: { lean_object* x_1; lean_object* x_2; @@ -63238,7 +63634,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__41() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__41() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -63248,7 +63644,7 @@ x_3 = l_Lean_Name_str___override(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__42() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__42() { _start: { lean_object* x_1; lean_object* x_2; @@ -63258,7 +63654,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__43() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__43() { _start: { lean_object* x_1; lean_object* x_2; @@ -63268,7 +63664,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__44() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__44() { _start: { lean_object* x_1; lean_object* x_2; @@ -63278,7 +63674,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__45() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__45() { _start: { lean_object* x_1; lean_object* x_2; @@ -63288,14 +63684,14 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -LEAN_EXPORT lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712_(lean_object* x_1) { +LEAN_EXPORT lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730_(lean_object* x_1) { _start: { lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; -x_2 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__1; +x_2 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__1; x_3 = l_Lean_Parser_Term_letDecl___closed__2; -x_4 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__2; -x_5 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__3; +x_4 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__2; +x_5 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__3; x_6 = l_Lean_Parser_Tactic_initFn____x40_Lean_Parser_Term___hyg_154____closed__9; x_7 = l_Lean_Parser_registerAlias(x_2, x_3, x_4, x_5, x_6, x_1); if (lean_obj_tag(x_7) == 0) @@ -63305,7 +63701,7 @@ x_8 = lean_ctor_get(x_7, 1); lean_inc(x_8); lean_dec(x_7); x_9 = l_Lean_Parser_Tactic_initFn____x40_Lean_Parser_Term___hyg_154____closed__12; -x_10 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__4; +x_10 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__4; x_11 = l_Lean_Parser_registerAliasCore___rarg(x_9, x_2, x_10, x_8); if (lean_obj_tag(x_11) == 0) { @@ -63314,7 +63710,7 @@ x_12 = lean_ctor_get(x_11, 1); lean_inc(x_12); lean_dec(x_11); x_13 = l_Lean_Parser_Tactic_initFn____x40_Lean_Parser_Term___hyg_154____closed__15; -x_14 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__5; +x_14 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__5; x_15 = l_Lean_Parser_registerAliasCore___rarg(x_13, x_2, x_14, x_12); if (lean_obj_tag(x_15) == 0) { @@ -63322,10 +63718,10 @@ lean_object* x_16; lean_object* x_17; lean_object* x_18; lean_object* x_19; lean x_16 = lean_ctor_get(x_15, 1); lean_inc(x_16); lean_dec(x_15); -x_17 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__6; +x_17 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__6; x_18 = l_Lean_Parser_Term_haveDecl___closed__2; -x_19 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__7; -x_20 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__8; +x_19 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__7; +x_20 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__8; x_21 = l_Lean_Parser_registerAlias(x_17, x_18, x_19, x_20, x_6, x_16); if (lean_obj_tag(x_21) == 0) { @@ -63333,7 +63729,7 @@ lean_object* x_22; lean_object* x_23; lean_object* x_24; x_22 = lean_ctor_get(x_21, 1); lean_inc(x_22); lean_dec(x_21); -x_23 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__9; +x_23 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__9; x_24 = l_Lean_Parser_registerAliasCore___rarg(x_9, x_17, x_23, x_22); if (lean_obj_tag(x_24) == 0) { @@ -63341,7 +63737,7 @@ lean_object* x_25; lean_object* x_26; lean_object* x_27; x_25 = lean_ctor_get(x_24, 1); lean_inc(x_25); lean_dec(x_24); -x_26 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__10; +x_26 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__10; x_27 = l_Lean_Parser_registerAliasCore___rarg(x_13, x_17, x_26, x_25); if (lean_obj_tag(x_27) == 0) { @@ -63349,10 +63745,10 @@ lean_object* x_28; lean_object* x_29; lean_object* x_30; lean_object* x_31; lean x_28 = lean_ctor_get(x_27, 1); lean_inc(x_28); lean_dec(x_27); -x_29 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__11; +x_29 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__11; x_30 = l_Lean_Parser_Term_sufficesDecl___closed__2; -x_31 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__12; -x_32 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__13; +x_31 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__12; +x_32 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__13; x_33 = l_Lean_Parser_registerAlias(x_29, x_30, x_31, x_32, x_6, x_28); if (lean_obj_tag(x_33) == 0) { @@ -63360,7 +63756,7 @@ lean_object* x_34; lean_object* x_35; lean_object* x_36; x_34 = lean_ctor_get(x_33, 1); lean_inc(x_34); lean_dec(x_33); -x_35 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__14; +x_35 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__14; x_36 = l_Lean_Parser_registerAliasCore___rarg(x_9, x_29, x_35, x_34); if (lean_obj_tag(x_36) == 0) { @@ -63368,7 +63764,7 @@ lean_object* x_37; lean_object* x_38; lean_object* x_39; x_37 = lean_ctor_get(x_36, 1); lean_inc(x_37); lean_dec(x_36); -x_38 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__15; +x_38 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__15; x_39 = l_Lean_Parser_registerAliasCore___rarg(x_13, x_29, x_38, x_37); if (lean_obj_tag(x_39) == 0) { @@ -63376,10 +63772,10 @@ lean_object* x_40; lean_object* x_41; lean_object* x_42; lean_object* x_43; lean x_40 = lean_ctor_get(x_39, 1); lean_inc(x_40); lean_dec(x_39); -x_41 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__16; +x_41 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__16; x_42 = l_Lean_Parser_Term_letRecDecls___closed__2; -x_43 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__17; -x_44 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__18; +x_43 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__17; +x_44 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__18; x_45 = l_Lean_Parser_registerAlias(x_41, x_42, x_43, x_44, x_6, x_40); if (lean_obj_tag(x_45) == 0) { @@ -63387,7 +63783,7 @@ lean_object* x_46; lean_object* x_47; lean_object* x_48; x_46 = lean_ctor_get(x_45, 1); lean_inc(x_46); lean_dec(x_45); -x_47 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__19; +x_47 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__19; x_48 = l_Lean_Parser_registerAliasCore___rarg(x_9, x_41, x_47, x_46); if (lean_obj_tag(x_48) == 0) { @@ -63395,7 +63791,7 @@ lean_object* x_49; lean_object* x_50; lean_object* x_51; x_49 = lean_ctor_get(x_48, 1); lean_inc(x_49); lean_dec(x_48); -x_50 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__20; +x_50 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__20; x_51 = l_Lean_Parser_registerAliasCore___rarg(x_13, x_41, x_50, x_49); if (lean_obj_tag(x_51) == 0) { @@ -63403,10 +63799,10 @@ lean_object* x_52; lean_object* x_53; lean_object* x_54; lean_object* x_55; lean x_52 = lean_ctor_get(x_51, 1); lean_inc(x_52); lean_dec(x_51); -x_53 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__21; +x_53 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__21; x_54 = l_Lean_Parser_Term_hole___closed__2; -x_55 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__22; -x_56 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__23; +x_55 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__22; +x_56 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__23; x_57 = l_Lean_Parser_registerAlias(x_53, x_54, x_55, x_56, x_6, x_52); if (lean_obj_tag(x_57) == 0) { @@ -63414,7 +63810,7 @@ lean_object* x_58; lean_object* x_59; lean_object* x_60; x_58 = lean_ctor_get(x_57, 1); lean_inc(x_58); lean_dec(x_57); -x_59 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__24; +x_59 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__24; x_60 = l_Lean_Parser_registerAliasCore___rarg(x_9, x_53, x_59, x_58); if (lean_obj_tag(x_60) == 0) { @@ -63422,7 +63818,7 @@ lean_object* x_61; lean_object* x_62; lean_object* x_63; x_61 = lean_ctor_get(x_60, 1); lean_inc(x_61); lean_dec(x_60); -x_62 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__25; +x_62 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__25; x_63 = l_Lean_Parser_registerAliasCore___rarg(x_13, x_53, x_62, x_61); if (lean_obj_tag(x_63) == 0) { @@ -63430,10 +63826,10 @@ lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; lean x_64 = lean_ctor_get(x_63, 1); lean_inc(x_64); lean_dec(x_63); -x_65 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__26; +x_65 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__26; x_66 = l_Lean_Parser_Term_syntheticHole___closed__2; -x_67 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__27; -x_68 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__28; +x_67 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__27; +x_68 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__28; x_69 = l_Lean_Parser_registerAlias(x_65, x_66, x_67, x_68, x_6, x_64); if (lean_obj_tag(x_69) == 0) { @@ -63441,7 +63837,7 @@ lean_object* x_70; lean_object* x_71; lean_object* x_72; x_70 = lean_ctor_get(x_69, 1); lean_inc(x_70); lean_dec(x_69); -x_71 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__29; +x_71 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__29; x_72 = l_Lean_Parser_registerAliasCore___rarg(x_9, x_65, x_71, x_70); if (lean_obj_tag(x_72) == 0) { @@ -63449,7 +63845,7 @@ lean_object* x_73; lean_object* x_74; lean_object* x_75; x_73 = lean_ctor_get(x_72, 1); lean_inc(x_73); lean_dec(x_72); -x_74 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__30; +x_74 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__30; x_75 = l_Lean_Parser_registerAliasCore___rarg(x_13, x_65, x_74, x_73); if (lean_obj_tag(x_75) == 0) { @@ -63457,10 +63853,10 @@ lean_object* x_76; lean_object* x_77; lean_object* x_78; lean_object* x_79; lean x_76 = lean_ctor_get(x_75, 1); lean_inc(x_76); lean_dec(x_75); -x_77 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__31; +x_77 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__31; x_78 = l_Lean_Parser_Term_matchDiscr___closed__2; -x_79 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__32; -x_80 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__33; +x_79 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__32; +x_80 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__33; x_81 = l_Lean_Parser_registerAlias(x_77, x_78, x_79, x_80, x_6, x_76); if (lean_obj_tag(x_81) == 0) { @@ -63468,7 +63864,7 @@ lean_object* x_82; lean_object* x_83; lean_object* x_84; x_82 = lean_ctor_get(x_81, 1); lean_inc(x_82); lean_dec(x_81); -x_83 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__34; +x_83 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__34; x_84 = l_Lean_Parser_registerAliasCore___rarg(x_9, x_77, x_83, x_82); if (lean_obj_tag(x_84) == 0) { @@ -63476,7 +63872,7 @@ lean_object* x_85; lean_object* x_86; lean_object* x_87; x_85 = lean_ctor_get(x_84, 1); lean_inc(x_85); lean_dec(x_84); -x_86 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__35; +x_86 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__35; x_87 = l_Lean_Parser_registerAliasCore___rarg(x_13, x_77, x_86, x_85); if (lean_obj_tag(x_87) == 0) { @@ -63484,10 +63880,10 @@ lean_object* x_88; lean_object* x_89; lean_object* x_90; lean_object* x_91; lean x_88 = lean_ctor_get(x_87, 1); lean_inc(x_88); lean_dec(x_87); -x_89 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__36; +x_89 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__36; x_90 = l_Lean_Parser_Term_bracketedBinder___closed__2; -x_91 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__37; -x_92 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__38; +x_91 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__37; +x_92 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__38; x_93 = l_Lean_Parser_registerAlias(x_89, x_90, x_91, x_92, x_6, x_88); if (lean_obj_tag(x_93) == 0) { @@ -63495,7 +63891,7 @@ lean_object* x_94; lean_object* x_95; lean_object* x_96; x_94 = lean_ctor_get(x_93, 1); lean_inc(x_94); lean_dec(x_93); -x_95 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__39; +x_95 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__39; x_96 = l_Lean_Parser_registerAliasCore___rarg(x_9, x_89, x_95, x_94); if (lean_obj_tag(x_96) == 0) { @@ -63503,7 +63899,7 @@ lean_object* x_97; lean_object* x_98; lean_object* x_99; x_97 = lean_ctor_get(x_96, 1); lean_inc(x_97); lean_dec(x_96); -x_98 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__40; +x_98 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__40; x_99 = l_Lean_Parser_registerAliasCore___rarg(x_13, x_89, x_98, x_97); if (lean_obj_tag(x_99) == 0) { @@ -63511,10 +63907,10 @@ lean_object* x_100; lean_object* x_101; lean_object* x_102; lean_object* x_103; x_100 = lean_ctor_get(x_99, 1); lean_inc(x_100); lean_dec(x_99); -x_101 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__41; +x_101 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__41; x_102 = l_Lean_Parser_Term_attrKind___closed__2; -x_103 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__42; -x_104 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__43; +x_103 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__42; +x_104 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__43; x_105 = l_Lean_Parser_registerAlias(x_101, x_102, x_103, x_104, x_6, x_100); if (lean_obj_tag(x_105) == 0) { @@ -63522,7 +63918,7 @@ lean_object* x_106; lean_object* x_107; lean_object* x_108; x_106 = lean_ctor_get(x_105, 1); lean_inc(x_106); lean_dec(x_105); -x_107 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__44; +x_107 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__44; x_108 = l_Lean_Parser_registerAliasCore___rarg(x_9, x_101, x_107, x_106); if (lean_obj_tag(x_108) == 0) { @@ -63530,7 +63926,7 @@ lean_object* x_109; lean_object* x_110; lean_object* x_111; x_109 = lean_ctor_get(x_108, 1); lean_inc(x_109); lean_dec(x_108); -x_110 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__45; +x_110 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__45; x_111 = l_Lean_Parser_registerAliasCore___rarg(x_13, x_101, x_110, x_109); return x_111; } @@ -68124,6 +68520,68 @@ lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_nomatch_parenthesizer___clo if (builtin) {res = l___regBuiltin_Lean_Parser_Term_nomatch_parenthesizer(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); +}l_Lean_Parser_Term_nofun___closed__1 = _init_l_Lean_Parser_Term_nofun___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_nofun___closed__1); +l_Lean_Parser_Term_nofun___closed__2 = _init_l_Lean_Parser_Term_nofun___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_nofun___closed__2); +l_Lean_Parser_Term_nofun___closed__3 = _init_l_Lean_Parser_Term_nofun___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_nofun___closed__3); +l_Lean_Parser_Term_nofun___closed__4 = _init_l_Lean_Parser_Term_nofun___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_nofun___closed__4); +l_Lean_Parser_Term_nofun___closed__5 = _init_l_Lean_Parser_Term_nofun___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_nofun___closed__5); +l_Lean_Parser_Term_nofun___closed__6 = _init_l_Lean_Parser_Term_nofun___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_nofun___closed__6); +l_Lean_Parser_Term_nofun___closed__7 = _init_l_Lean_Parser_Term_nofun___closed__7(); +lean_mark_persistent(l_Lean_Parser_Term_nofun___closed__7); +l_Lean_Parser_Term_nofun = _init_l_Lean_Parser_Term_nofun(); +lean_mark_persistent(l_Lean_Parser_Term_nofun); +if (builtin) {res = l___regBuiltin_Lean_Parser_Term_nofun(lean_io_mk_world()); +if (lean_io_result_is_error(res)) return res; +lean_dec_ref(res); +}l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__1(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__1); +l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__2 = _init_l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__2(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__2); +l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__3 = _init_l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__3(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__3); +l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__4 = _init_l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__4(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__4); +l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__5 = _init_l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__5(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__5); +l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__6 = _init_l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__6(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__6); +l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__7 = _init_l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__7(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_nofun_declRange___closed__7); +if (builtin) {res = l___regBuiltin_Lean_Parser_Term_nofun_declRange(lean_io_mk_world()); +if (lean_io_result_is_error(res)) return res; +lean_dec_ref(res); +}l_Lean_Parser_Term_nofun_formatter___closed__1 = _init_l_Lean_Parser_Term_nofun_formatter___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_nofun_formatter___closed__1); +l_Lean_Parser_Term_nofun_formatter___closed__2 = _init_l_Lean_Parser_Term_nofun_formatter___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_nofun_formatter___closed__2); +l_Lean_Parser_Term_nofun_formatter___closed__3 = _init_l_Lean_Parser_Term_nofun_formatter___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_nofun_formatter___closed__3); +l___regBuiltin_Lean_Parser_Term_nofun_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_nofun_formatter___closed__1(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_nofun_formatter___closed__1); +l___regBuiltin_Lean_Parser_Term_nofun_formatter___closed__2 = _init_l___regBuiltin_Lean_Parser_Term_nofun_formatter___closed__2(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_nofun_formatter___closed__2); +if (builtin) {res = l___regBuiltin_Lean_Parser_Term_nofun_formatter(lean_io_mk_world()); +if (lean_io_result_is_error(res)) return res; +lean_dec_ref(res); +}l_Lean_Parser_Term_nofun_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_nofun_parenthesizer___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_nofun_parenthesizer___closed__1); +l_Lean_Parser_Term_nofun_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_nofun_parenthesizer___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_nofun_parenthesizer___closed__2); +l_Lean_Parser_Term_nofun_parenthesizer___closed__3 = _init_l_Lean_Parser_Term_nofun_parenthesizer___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_nofun_parenthesizer___closed__3); +l___regBuiltin_Lean_Parser_Term_nofun_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_nofun_parenthesizer___closed__1(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_nofun_parenthesizer___closed__1); +l___regBuiltin_Lean_Parser_Term_nofun_parenthesizer___closed__2 = _init_l___regBuiltin_Lean_Parser_Term_nofun_parenthesizer___closed__2(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_nofun_parenthesizer___closed__2); +if (builtin) {res = l___regBuiltin_Lean_Parser_Term_nofun_parenthesizer(lean_io_mk_world()); +if (lean_io_result_is_error(res)) return res; +lean_dec_ref(res); }l_Lean_Parser_Term_funImplicitBinder___closed__1 = _init_l_Lean_Parser_Term_funImplicitBinder___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_funImplicitBinder___closed__1); l_Lean_Parser_Term_funImplicitBinder___closed__2 = _init_l_Lean_Parser_Term_funImplicitBinder___closed__2(); @@ -74046,97 +74504,97 @@ lean_mark_persistent(l___regBuiltin_Lean_Parser_Tactic_quotSeq_parenthesizer___c if (builtin) {res = l___regBuiltin_Lean_Parser_Tactic_quotSeq_parenthesizer(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); -}l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__1 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__1(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__1); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__2 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__2(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__2); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__3 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__3(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__3); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__4 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__4(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__4); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__5 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__5(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__5); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__6 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__6(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__6); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__7 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__7(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__7); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__8 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__8(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__8); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__9 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__9(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__9); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__10 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__10(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__10); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__11 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__11(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__11); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__12 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__12(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__12); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__13 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__13(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__13); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__14 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__14(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__14); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__15 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__15(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__15); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__16 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__16(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__16); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__17 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__17(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__17); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__18 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__18(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__18); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__19 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__19(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__19); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__20 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__20(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__20); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__21 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__21(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__21); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__22 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__22(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__22); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__23 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__23(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__23); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__24 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__24(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__24); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__25 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__25(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__25); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__26 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__26(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__26); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__27 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__27(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__27); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__28 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__28(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__28); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__29 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__29(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__29); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__30 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__30(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__30); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__31 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__31(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__31); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__32 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__32(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__32); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__33 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__33(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__33); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__34 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__34(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__34); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__35 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__35(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__35); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__36 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__36(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__36); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__37 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__37(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__37); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__38 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__38(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__38); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__39 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__39(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__39); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__40 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__40(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__40); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__41 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__41(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__41); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__42 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__42(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__42); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__43 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__43(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__43); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__44 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__44(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__44); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__45 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__45(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712____closed__45); -if (builtin) {res = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4712_(lean_io_mk_world()); +}l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__1 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__1(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__1); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__2 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__2(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__2); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__3 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__3(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__3); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__4 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__4(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__4); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__5 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__5(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__5); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__6 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__6(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__6); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__7 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__7(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__7); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__8 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__8(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__8); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__9 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__9(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__9); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__10 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__10(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__10); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__11 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__11(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__11); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__12 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__12(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__12); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__13 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__13(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__13); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__14 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__14(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__14); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__15 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__15(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__15); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__16 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__16(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__16); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__17 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__17(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__17); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__18 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__18(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__18); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__19 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__19(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__19); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__20 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__20(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__20); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__21 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__21(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__21); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__22 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__22(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__22); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__23 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__23(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__23); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__24 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__24(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__24); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__25 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__25(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__25); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__26 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__26(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__26); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__27 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__27(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__27); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__28 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__28(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__28); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__29 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__29(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__29); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__30 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__30(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__30); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__31 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__31(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__31); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__32 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__32(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__32); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__33 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__33(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__33); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__34 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__34(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__34); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__35 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__35(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__35); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__36 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__36(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__36); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__37 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__37(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__37); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__38 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__38(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__38); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__39 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__39(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__39); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__40 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__40(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__40); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__41 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__41(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__41); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__42 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__42(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__42); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__43 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__43(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__43); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__44 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__44(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__44); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__45 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__45(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730____closed__45); +if (builtin) {res = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_4730_(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); }return lean_io_result_mk_ok(lean_box(0));