diff --git a/stage0/src/Lean/Elab/Extra.lean b/stage0/src/Lean/Elab/Extra.lean index 9e510733b9..e9648c651d 100644 --- a/stage0/src/Lean/Elab/Extra.lean +++ b/stage0/src/Lean/Elab/Extra.lean @@ -313,6 +313,21 @@ def elabBinCalc : TermElab := fun stx expectedType? => do pure () ensureHasType expectedType? result +/- +@[builtinTermElab arbitraryOrOfNonempty] +def elabArbitraryOrNonempty : TermElab := fun stx expectedType? => do + tryPostponeIfNoneOrMVar expectedType? + match expectedType? with + | none => throwError "invalid 'arbitrary_or_ofNonempty%', expected type is not known" + | some expectedType => + try + mkArbitrary expectedType + catch ex => try + mkOfNonempty expectedType + catch _ => + throw ex +-/ + builtin_initialize registerTraceClass `Elab.binop diff --git a/stage0/src/Lean/Parser/Term.lean b/stage0/src/Lean/Parser/Term.lean index 0d0b11cb0e..08d0507fe7 100644 --- a/stage0/src/Lean/Parser/Term.lean +++ b/stage0/src/Lean/Parser/Term.lean @@ -242,6 +242,8 @@ def matchAltsWhereDecls := leading_parser matchAlts >> optional whereDecls @[builtinTermParser] def waitIfTypeContainsMVar := leading_parser "wait_if_type_contains_mvar% " >> "?" >> ident >> "; " >> termParser @[builtinTermParser] def waitIfContainsMVar := leading_parser "wait_if_contains_mvar% " >> "?" >> ident >> "; " >> termParser +@[builtinTermParser] def arbitraryOrOfNonempty := leading_parser "arbitrary_or_ofNonempty%" + def namedArgument := leading_parser atomic ("(" >> ident >> " := ") >> termParser >> ")" def ellipsis := leading_parser ".." def argument := diff --git a/stage0/stdlib/Lean/Parser/Term.c b/stage0/stdlib/Lean/Parser/Term.c index 974fce4534..f8acb4d487 100644 --- a/stage0/stdlib/Lean/Parser/Term.c +++ b/stage0/stdlib/Lean/Parser/Term.c @@ -16,6 +16,7 @@ extern "C" { static lean_object* l___regBuiltin_Lean_Parser_Term_borrowed_declRange___closed__6; static lean_object* l_Lean_Parser_Command_docComment___elambda__1___lambda__2___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_have_declRange___closed__6; +static lean_object* l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__5; static lean_object* l_Lean_Parser_Term_subst___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_binrel__no__prop_formatter___closed__2; static lean_object* l_Lean_Parser_Term_attr_quot___closed__3; @@ -102,6 +103,7 @@ static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___clos static lean_object* l___regBuiltin_Lean_Parser_Term_attr_quot_parenthesizer___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_haveEqnsDecl_parenthesizer___closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_attrKind_formatter(lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__7; static lean_object* l_Lean_Parser_Term_explicit___closed__9; static lean_object* l_Lean_Parser_Term_local___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__43; @@ -126,7 +128,6 @@ static lean_object* l_Lean_Parser_darrow___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_quotedName___closed__4; static lean_object* l_Lean_Parser_Term_dbgTrace_parenthesizer___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Term_let__fun_declRange___closed__7; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__25; static lean_object* l___regBuiltin_Lean_Parser_Term_structInst_declRange___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_depArrow_declRange___closed__4; static lean_object* l_Lean_Parser_Term_let__fun_formatter___closed__3; @@ -366,6 +367,7 @@ static lean_object* l_Lean_Parser_Term_binrel__no__prop___elambda__1___closed__5 static lean_object* l_Lean_Parser_Term_explicitUniv_formatter___closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_match_parenthesizer(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_attr_quot_formatter___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__24; static lean_object* l_Lean_Parser_Term_assert_formatter___closed__2; extern lean_object* l_Lean_nullKind; LEAN_EXPORT lean_object* l_Lean_Parser_Term_instBinder; @@ -484,6 +486,7 @@ static lean_object* l_Lean_Parser_Term_ensureExpectedType___elambda__1___closed_ LEAN_EXPORT lean_object* l_Lean_Parser_Term_haveEqnsDecl_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented_formatter___closed__1; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__19; +LEAN_EXPORT lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_ellipsis_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_num(lean_object*); static lean_object* l_Lean_Parser_Term_stateRefT___elambda__1___closed__5; @@ -538,6 +541,7 @@ static lean_object* l_Lean_Parser_Term_instBinder_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_letMVar_parenthesizer___closed__8; LEAN_EXPORT lean_object* l_Lean_Parser_Term_match; LEAN_EXPORT lean_object* l_Lean_Parser_Term_depArrow; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__33; static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_byTactic_x27_parenthesizer___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Tactic_quot_declRange___closed__7; @@ -672,6 +676,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_noImplicitLambda_declRange__ static lean_object* l_Lean_Parser_Term_whereDecls___elambda__1___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_noImplicitLambda_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_letrec___elambda__1___closed__2; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__4; static lean_object* l_Lean_Parser_Term_matchDiscr_quot___elambda__1___closed__2; static lean_object* l_Lean_Parser_Tactic_seq1___elambda__1___closed__9; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_explicit_declRange(lean_object*); @@ -771,6 +776,7 @@ static lean_object* l_Lean_Parser_Term_forall_formatter___closed__5; static lean_object* l_Lean_Parser_Term_noindex___elambda__1___closed__4; static lean_object* l_Lean_Parser_Level_quot___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Term_doubleQuotedName_formatter___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__17; LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed; static lean_object* l_Lean_Parser_Term_suffices_formatter___closed__7; static lean_object* l_Lean_Parser_Term_binderTactic___closed__7; @@ -788,6 +794,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_implicitBinder_parenthesizer___boxed static lean_object* l_Lean_Parser_Term_paren___elambda__1___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_dynamicQuot_parenthesizer___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_dynamicQuot_declRange___closed__7; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__8; static lean_object* l_Lean_Parser_Term_letRecDecl_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_ensureExpectedType___elambda__1___closed__9; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__8; @@ -834,6 +841,7 @@ static lean_object* l_Lean_Parser_Term_proj___elambda__1___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Term_sort___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_ensureExpectedType_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_attrKind___elambda__1___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__5; static lean_object* l_Lean_Parser_Term_unreachable_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_leading__parser_parenthesizer___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_doubleQuotedName_declRange___closed__4; @@ -853,16 +861,20 @@ static lean_object* l_Lean_Parser_Term_tupleTail_formatter___closed__6; static lean_object* l_Lean_Parser_Term_namedArgument_formatter___closed__2; static lean_object* l_Lean_Parser_Term_assert___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_fun_parenthesizer___closed__4; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__30; static lean_object* l_Lean_Parser_Term_doubleQuotedName_parenthesizer___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_scoped_parenthesizer___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_explicitBinder_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__14; static lean_object* l_Lean_Parser_Term_waitIfContainsMVar___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_quotedName___closed__3; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__28; static lean_object* l_Lean_Parser_Term_pipeProj___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_subst___closed__6; static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__19; extern lean_object* l_Lean_Parser_ident; static lean_object* l_Lean_Parser_Term_explicitUniv_formatter___closed__7; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__18; static lean_object* l_Lean_Parser_Term_doubleQuotedName___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_pipeCompletion___elambda__1___closed__2; static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___closed__27; @@ -928,6 +940,7 @@ static lean_object* l_Lean_Parser_Term_attributes___closed__9; static lean_object* l_Lean_Parser_Term_bracketedBinder_formatter___closed__2; static lean_object* l_Lean_Parser_Term_type_formatter___closed__6; static lean_object* l_Lean_Parser_Tactic_tacticSeq_parenthesizer___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__15; static lean_object* l_Lean_Parser_Term_letMVar_formatter___closed__10; static lean_object* l_Lean_Parser_Term_noImplicitLambda_formatter___closed__4; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Tactic_tacticSeq_formatter(lean_object*); @@ -1043,6 +1056,7 @@ static lean_object* l_Lean_Parser_Term_hole___closed__2; static lean_object* l_Lean_Parser_Term_letRecDecl___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_assert___elambda__1___closed__7; static lean_object* l_Lean_Parser_Tactic_quotSeq_formatter___closed__4; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__22; static lean_object* l_Lean_Parser_Term_ensureTypeOf___elambda__1___closed__14; static lean_object* l___regBuiltin_Lean_Parser_Level_quot_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_let__fun___elambda__1___closed__7; @@ -1115,17 +1129,18 @@ static lean_object* l_Lean_Parser_Term_suffices_parenthesizer___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_forall_declRange___closed__3; static lean_object* l_Lean_Parser_Term_optEllipsis___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_assert_parenthesizer___closed__3; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__7; static lean_object* l_Lean_Parser_Term_let__tmp___elambda__1___closed__8; static lean_object* l_Lean_Parser_Term_bracketedBinder_quot_formatter___closed__1; static lean_object* l_Lean_Parser_Term_binrel___closed__10; static lean_object* l_Lean_Parser_Term_trailing__parser_formatter___closed__2; static lean_object* l_Lean_Parser_Term_whereDecls_formatter___closed__6; +LEAN_EXPORT lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_funBinder_quot___elambda__1___closed__20; static lean_object* l_Lean_Parser_Term_leading__parser___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_doubleQuotedName___closed__6; LEAN_EXPORT lean_object* l_Lean_Parser_Term_scientific_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_quotedName___closed__6; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__20; static lean_object* l___regBuiltin_Lean_Parser_Term_completion_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_whereDecls___elambda__1___closed__3; lean_object* l_Lean_Parser_addBuiltinParser(lean_object*, lean_object*, uint8_t, lean_object*, lean_object*, lean_object*); @@ -1186,11 +1201,13 @@ static lean_object* l_Lean_Parser_Term_sorry___closed__2; static lean_object* l_Lean_Parser_Term_strictImplicitLeftBracket_formatter___closed__1; static lean_object* l_Lean_Parser_Term_nomatch___closed__7; static lean_object* l_Lean_Parser_Term_byTactic_formatter___closed__2; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__13; static lean_object* l___regBuiltin_Lean_Parser_Term_completion_declRange___closed__5; static lean_object* l_Lean_Parser_Term_forInMacro___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_explicit_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_anonymousCtor___elambda__1___closed__17; static lean_object* l_Lean_Parser_Term_generalizingParam_parenthesizer___closed__6; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__34; static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__18; static lean_object* l_Lean_Parser_Term_attr_quot_parenthesizer___closed__1; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_byTactic_declRange(lean_object*); @@ -1258,10 +1275,8 @@ static lean_object* l_Lean_Parser_Term_letMVar___elambda__1___closed__16; lean_object* l_Lean_Parser_atomicFn(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_commentBody___closed__1; static lean_object* l_Lean_Parser_Term_whereDecls___elambda__1___closed__18; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__10; static lean_object* l_Lean_Parser_Term_funBinder_quot___closed__2; static lean_object* l_Lean_Parser_Term_assert_parenthesizer___closed__5; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__32; static lean_object* l_Lean_Parser_Term_suffices___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_scoped_parenthesizer___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__3; @@ -1271,7 +1286,9 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_forall(lean_object*); static lean_object* l_Lean_Parser_Term_optExprPrecedence_formatter___closed__1; static lean_object* l_Lean_Parser_Term_let__tmp___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_sorry_formatter___closed__1; +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer(lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_binderType_parenthesizer(uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_structInstArrayRef_formatter___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_pipeCompletion_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_type_declRange___closed__4; @@ -1386,6 +1403,7 @@ static lean_object* l_Lean_Parser_Term_quotedName_formatter___closed__1; static lean_object* l_Lean_Parser_Term_matchDiscr_quot___elambda__1___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_panic_declRange___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Term_paren; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__3; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_panic_declRange(lean_object*); static lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_anonymousCtor___closed__1; @@ -1507,7 +1525,6 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_generalizingParam_parenthesi LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_leading__parser_declRange(lean_object*); static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___closed__23; static lean_object* l_Lean_Parser_Term_suffices___elambda__1___closed__7; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__16; static lean_object* l_Lean_Parser_Term_anonymousCtor___elambda__1___closed__8; static lean_object* l_Lean_Parser_Term_hole_parenthesizer___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Term_borrowed; @@ -1561,6 +1578,7 @@ static lean_object* l_Lean_Parser_Term_syntheticHole___closed__1; static lean_object* l_Lean_Parser_Term_paren_parenthesizer___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_borrowed_parenthesizer___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_num___closed__1; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_depArrow___elambda__1___closed__13; static lean_object* l_Lean_Parser_Term_noindex___closed__1; static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder___closed__2; @@ -1581,11 +1599,11 @@ static lean_object* l_Lean_Parser_Term_whereDecls___elambda__1___closed__14; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_optEllipsis_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_let__fun_formatter___closed__5; static lean_object* l_Lean_Parser_Term_letIdLhs_parenthesizer___closed__6; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__27; static lean_object* l_Lean_Parser_Term_let__fun___closed__3; lean_object* l_Lean_PrettyPrinter_Formatter_checkColGt_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_dynamicQuot___elambda__1___closed__6; LEAN_EXPORT lean_object* l_Lean_Parser_Term_basicFun_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_inaccessible; static lean_object* l_Lean_Parser_Term_attr_quot_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_binderTactic___elambda__1___closed__4; @@ -1653,7 +1671,6 @@ static lean_object* l_Lean_Parser_Term_scoped___elambda__1___closed__9; LEAN_EXPORT lean_object* l_Lean_Parser_Term_dynamicQuot_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_pipeCompletion_declRange___closed__1; lean_object* l_Lean_Parser_optional(lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__4; static lean_object* l_Lean_Parser_Term_explicitUniv_formatter___closed__3; static lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1___closed__9; static lean_object* l___regBuiltin_Lean_Parser_Term_trailing__parser_declRange___closed__3; @@ -1733,6 +1750,7 @@ static lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1___closed__27; static lean_object* l_Lean_Parser_Term_matchDiscr_parenthesizer___closed__2; lean_object* l_Lean_Parser_strLit___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_letRecDecl___closed__6; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__12; static lean_object* l_Lean_Parser_Term_matchAltsWhereDecls___closed__6; static lean_object* l_Lean_Parser_Term_bracketedBinder_quot___elambda__1___closed__18; static lean_object* l___regBuiltin_Lean_Parser_Term_syntheticHole_parenthesizer___closed__2; @@ -1773,7 +1791,6 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_waitIfTypeMVar___elambda__1(lean_obj static lean_object* l_Lean_Parser_Term_basicFun___closed__10; static lean_object* l_Lean_Parser_Tactic_quotSeq___closed__7; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_app(lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__29; static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___closed__8; LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_seq1_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_nomatch___elambda__1___closed__13; @@ -1817,6 +1834,7 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_type_declRange(lean_obj LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_let_declRange(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_binrel__no__prop_docString___closed__1; static lean_object* l_Lean_Parser_Term_noindex___closed__8; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_matchDiscr_quot_formatter___closed__3; static lean_object* l_Lean_Parser_Term_dbgTrace___closed__9; static lean_object* l_Lean_Parser_Term_letRecDecls___elambda__1___closed__7; @@ -2021,6 +2039,7 @@ static lean_object* l_Lean_Parser_Term_waitIfTypeContainsMVar___closed__4; static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_doubleQuotedName_declRange___closed__2; static lean_object* l_Lean_Parser_Term_match___elambda__1___closed__14; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Term_binrel_formatter___closed__1; static lean_object* l_Lean_Parser_Tactic_quot_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_match___closed__6; @@ -2104,6 +2123,7 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_trailing__parser_declRa static lean_object* l___regBuiltin_Lean_Parser_Term_waitIfTypeMVar_formatter___closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_letrec_formatter(lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Command_commentBody_parenthesizer___rarg(lean_object*, lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__2; static lean_object* l_Lean_Parser_Term_letMVar___closed__7; static lean_object* l_Lean_Parser_Term_waitIfContainsMVar___closed__6; @@ -2131,6 +2151,7 @@ static lean_object* l_Lean_Parser_Term_whereDecls___closed__8; LEAN_EXPORT lean_object* l_Lean_Parser_Term_strictImplicitBinder___boxed(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_let_declRange___closed__6; LEAN_EXPORT lean_object* l_Lean_Parser_Term_nomatch; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__9; LEAN_EXPORT lean_object* l_Lean_Parser_Term_parenSpecial; static lean_object* l_Lean_Parser_Term_waitIfTypeMVar___elambda__1___closed__11; static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__9; @@ -2188,13 +2209,14 @@ static lean_object* l_Lean_Parser_Term_dynamicQuot_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__13; static lean_object* l_Lean_Parser_Term_waitIfTypeContainsMVar_parenthesizer___closed__4; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_let_parenthesizer(lean_object*); +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_attributes___closed__5; static lean_object* l_Lean_Parser_Term_funBinder_parenthesizer___closed__6; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__29; static lean_object* l___regBuiltin_Lean_Parser_Term_local_formatter___closed__2; lean_object* lean_nat_sub(lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_let__delayed_declRange___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Term_binderTactic; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__24; static lean_object* l_Lean_Parser_Term_paren___closed__9; static lean_object* l_Lean_Parser_Tactic_seq1___elambda__1___closed__6; LEAN_EXPORT lean_object* l_Lean_Parser_Term_macroDollarArg___elambda__1___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -2208,6 +2230,7 @@ static lean_object* l_Lean_Parser_Term_whereDecls_formatter___closed__8; static lean_object* l_Lean_Parser_Term_optEllipsis___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_attrInstance___elambda__1___closed__11; static lean_object* l_Lean_Parser_Term_proj___closed__8; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__25; static lean_object* l___regBuiltin_Lean_Parser_Term_arrayRef_declRange___closed__6; LEAN_EXPORT lean_object* l_Lean_Parser_Term_instBinder_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_letIdDecl_formatter___closed__2; @@ -2220,12 +2243,12 @@ static lean_object* l_Lean_Parser_Term_dynamicQuot___elambda__1___closed__25; static lean_object* l_Lean_Parser_Term_binrel___closed__5; static lean_object* l_Lean_Parser_Term_implicitBinder___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_letRecDecls_parenthesizer___closed__3; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__7; static lean_object* l_Lean_Parser_Term_paren_formatter___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_hole_declRange___closed__7; static lean_object* l_Lean_Parser_Term_let__fun___closed__2; static lean_object* l_Lean_Parser_Term_byTactic_formatter___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_waitIfContainsMVar_parenthesizer___closed__1; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_whereDecls___closed__4; static lean_object* l_Lean_Parser_Term_typeOf___elambda__1___closed__3; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_attr_quot_formatter(lean_object*); @@ -2272,7 +2295,6 @@ static lean_object* l_Lean_Parser_Term_matchDiscr_quot_formatter___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_pipeCompletion_declRange___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Command_commentBody_parenthesizer___boxed(lean_object*); static lean_object* l_Lean_Parser_Term_sorry___elambda__1___closed__8; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__3; static lean_object* l_Lean_Parser_Term_explicitUniv___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_have_declRange___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_letMVar_declRange___closed__6; @@ -2328,7 +2350,6 @@ static lean_object* l_Lean_Parser_Term_let__tmp___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_noindex_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__6; static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__35; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__15; static lean_object* l_Lean_Parser_Term_bracketedBinder_quot___elambda__1___closed__16; static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__20; static lean_object* l_Lean_Parser_Term_explicit___elambda__1___closed__13; @@ -2392,7 +2413,6 @@ static lean_object* l_Lean_Parser_Term_letrec_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__10; LEAN_EXPORT lean_object* l_Lean_Parser_Term_have; static lean_object* l_Lean_Parser_Term_letIdLhs___closed__3; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__30; static lean_object* l___regBuiltin_Lean_Parser_Term_let_formatter___closed__2; static lean_object* l_Lean_Parser_Term_binderTactic___elambda__1___closed__14; static lean_object* l_Lean_Parser_Term_structInstField___elambda__1___closed__14; @@ -2407,7 +2427,6 @@ static lean_object* l_Lean_Parser_Term_paren___closed__8; static lean_object* l_Lean_Parser_Term_haveDecl___closed__3; static lean_object* l_Lean_Parser_Term_binrel__no__prop___elambda__1___closed__4; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_doubleQuotedName_formatter(lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__18; static lean_object* l_Lean_Parser_Term_doubleQuotedName_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_letPatDecl___closed__5; static lean_object* l_Lean_Parser_Term_anonymousCtor_formatter___closed__1; @@ -2444,11 +2463,13 @@ static lean_object* l_Lean_Parser_Term_whereDecls___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_explicit_declRange___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_generalizingParam_formatter___closed__2; static lean_object* l_Lean_Parser_Term_stateRefT___elambda__1___closed__10; +LEAN_EXPORT lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty; static lean_object* l_Lean_Parser_Term_generalizingParam___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_binrel__no__prop___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_macroDollarArg___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_quotedName___elambda__1___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_panic_declRange___closed__7; +static lean_object* l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__7; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_stateRefT___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Level_quot_formatter___closed__1; @@ -2479,12 +2500,14 @@ static lean_object* l_Lean_Parser_Term_explicitBinder___closed__3; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_have_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_suffices___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_dynamicQuot___closed__12; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__16; static lean_object* l___regBuiltin_Lean_Parser_Term_binrel_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__13; static lean_object* l_Lean_Parser_Term_panic___closed__8; static lean_object* l_Lean_Parser_Term_let__delayed___closed__1; static lean_object* l_Lean_Parser_Term_pipeProj___closed__9; static lean_object* l_Lean_Parser_Term_nomatch_parenthesizer___closed__4; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_dynamicQuot_formatter___closed__6; LEAN_EXPORT lean_object* l_Lean_Parser_Term_letrec___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_sort___closed__8; @@ -2536,6 +2559,7 @@ static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___closed__5; static lean_object* l_Lean_Parser_Term_instBinder_formatter___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_show_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_docComment___elambda__1___closed__13; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__20; static lean_object* l___regBuiltin_Lean_Parser_Term_sort_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_bracketedBinder___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_unreachable___closed__5; @@ -2604,11 +2628,13 @@ static lean_object* l_Lean_Parser_Term_forInMacro___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_structInstArrayRef___elambda__1___closed__13; static lean_object* l_Lean_Parser_Term_macroLastArg___closed__1; static lean_object* l_Lean_Parser_Term_match_formatter___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__10; static lean_object* l_Lean_Parser_Term_bracketedBinder___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_dbgTrace___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_matchAltsWhereDecls___closed__1; static lean_object* l_Lean_Parser_Term_str___closed__3; static lean_object* l_Lean_Parser_Term_syntheticHole___elambda__1___closed__5; +static lean_object* l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_panic_declRange___closed__3; static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_explicitUniv___closed__3; @@ -2635,6 +2661,7 @@ static lean_object* l_Lean_Parser_Term_have_formatter___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_sort_parenthesizer___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Term_structInst___elambda__1(lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_doubleQuotedName(lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__32; static lean_object* l_Lean_Parser_Term_attr_quot___closed__7; static lean_object* l_Lean_Parser_Term_depArrow___elambda__1___closed__14; static lean_object* l_Lean_Parser_Term_matchDiscr___closed__7; @@ -2652,7 +2679,6 @@ static lean_object* l_Lean_Parser_Term_funImplicitBinder_parenthesizer___closed_ extern lean_object* l_Lean_Parser_argPrec; static lean_object* l_Lean_Parser_Term_fromTerm_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Tactic_quot___elambda__1___closed__14; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__34; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_anonymousCtor_declRange(lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_letRecDecls_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_panic___elambda__1___closed__3; @@ -2670,9 +2696,9 @@ static lean_object* l_Lean_Parser_Term_anonymousCtor___closed__6; static lean_object* l_Lean_Parser_Term_whereDecls_parenthesizer___closed__9; static lean_object* l___regBuiltin_Lean_Parser_Term_subst_declRange___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Term_funBinder___elambda__1(lean_object*, lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__22; static lean_object* l_Lean_Parser_Term_tupleTail_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_matchDiscr_quot___closed__9; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__6; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_depArrow_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_attrInstance___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_letRecDecls_parenthesizer___closed__1; @@ -2739,6 +2765,7 @@ static lean_object* l_Lean_Parser_Term_sort___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Term_sufficesDecl_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_forall___elambda__1___closed__27; static lean_object* l_Lean_Parser_Term_show_formatter___closed__3; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__3; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_trailing__parser(lean_object*); static lean_object* l_Lean_Parser_Term_typeOf___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_matchDiscr___elambda__1___closed__1; @@ -2757,7 +2784,6 @@ lean_object* l_Lean_PrettyPrinter_Parenthesizer_withoutForbidden_parenthesizer(l LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_subst_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_completion___closed__4; static lean_object* l_Lean_Parser_Term_trueVal_formatter___closed__3; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__33; static lean_object* l___regBuiltin_Lean_Parser_Term_scoped_formatter___closed__1; static lean_object* l_Lean_Parser_Term_generalizingParam___closed__10; static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__26; @@ -2833,7 +2859,6 @@ static lean_object* l_Lean_Parser_Term_trailing__parser___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Term_macroDollarArg_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_noindex_formatter___closed__2; lean_object* l_Lean_Parser_scientificLit_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__5; static lean_object* l_Lean_Parser_Term_explicitBinder_parenthesizer___closed__3; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_binrel__no__prop(lean_object*); static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed___elambda__1___closed__8; @@ -2876,7 +2901,6 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_macroDollarArg___elambda__1___lambda static lean_object* l_Lean_Parser_Term_ensureTypeOf___closed__1; static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__13; static lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__11; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__14; static lean_object* l_Lean_Parser_Term_let__fun___closed__5; static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__12; static lean_object* l_Lean_Parser_Term_forall___elambda__1___closed__19; @@ -2978,6 +3002,7 @@ static lean_object* l_Lean_Parser_Term_fromTerm___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_assert_declRange___closed__6; static lean_object* l_Lean_Parser_Term_forInMacro_formatter___closed__2; static lean_object* l_Lean_Parser_Term_dynamicQuot___closed__10; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__5; static lean_object* l_Lean_Parser_Term_trueVal___elambda__1___closed__12; static lean_object* l_Lean_Parser_Term_local___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_syntheticHole___closed__2; @@ -2986,14 +3011,15 @@ static lean_object* l_Lean_Parser_Term_funImplicitBinder_parenthesizer___closed_ static lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_fromTerm___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_app_formatter___closed__2; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__11; static lean_object* l___regBuiltin_Lean_Parser_Term_letrec_declRange___closed__6; static lean_object* l_Lean_Parser_Tactic_quot___closed__6; static lean_object* l_Lean_Parser_Term_have_parenthesizer___closed__1; lean_object* l_Lean_addBuiltinDeclarationRanges(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__36; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_funBinder_quot(lean_object*); +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__3; static lean_object* l_Lean_Parser_Term_type_parenthesizer___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__28; static lean_object* l_Lean_Parser_Term_binderDefault___elambda__1___closed__3; 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_strictImplicitRightBracket___closed__3; @@ -3116,6 +3142,7 @@ static lean_object* l_Lean_Parser_Term_let__delayed___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_typeAscription___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_leading__parser___closed__9; lean_object* l_Lean_Parser_interpolatedStr(lean_object*); +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__2; static lean_object* l_Lean_Parser_Term_letPatDecl___closed__7; static lean_object* l_Lean_Parser_Term_binrel__no__prop___closed__4; static lean_object* l_Lean_Parser_Term_structInstLVal_formatter___closed__1; @@ -3220,6 +3247,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_attrKind_formatter___closed_ static lean_object* l_Lean_Parser_Term_proj___closed__2; static lean_object* l_Lean_Parser_Term_trueVal___closed__4; static lean_object* l_Lean_Parser_Term_dynamicQuot_formatter___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__27; LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___lambda__1(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_noindex_formatter___closed__3; static lean_object* l_Lean_Parser_Term_ensureTypeOf_formatter___closed__5; @@ -3233,7 +3261,6 @@ static lean_object* l_Lean_Parser_Term_typeSpec___elambda__1___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_binrel__no__prop_declRange___closed__2; static lean_object* l_Lean_Parser_Term_waitIfTypeContainsMVar___elambda__1___closed__10; static lean_object* l_Lean_Parser_Term_typeAscription___elambda__1___closed__8; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__12; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_dbgTrace(lean_object*); static lean_object* l_Lean_Parser_Term_panic_formatter___closed__4; static lean_object* l_Lean_Parser_Term_forInMacro_formatter___closed__3; @@ -3255,6 +3282,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_letrec_formatter___closed__1 LEAN_EXPORT lean_object* l_Lean_Parser_Term_arrow___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_matchAltsWhereDecls___closed__7; LEAN_EXPORT lean_object* l_Lean_Parser_Term_explicit_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__9; static lean_object* l___regBuiltin_Lean_Parser_Term_simpleBinderWithoutType_parenthesizer___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Term_dbgTrace___elambda__1___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Parser_ppDedentIfGrouped_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -3284,6 +3312,7 @@ static lean_object* l_Lean_Parser_Term_noImplicitLambda___closed__5; static lean_object* l_Lean_Parser_Term_structInst___elambda__1___closed__2; extern lean_object* l_Lean_instInhabitedSyntax; static lean_object* l_Lean_Parser_Term_simpleBinder_formatter___closed__1; +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty(lean_object*); static lean_object* l_Lean_Parser_Term_dbgTrace_formatter___closed__4; static lean_object* l_Lean_Parser_Term_optEllipsis___closed__5; static lean_object* l_Lean_Parser_Term_explicitUniv___elambda__1___closed__8; @@ -3417,6 +3446,7 @@ static lean_object* l_Lean_Parser_Term_sort_formatter___closed__2; static lean_object* l_Lean_Parser_Term_instBinder_formatter___closed__4; static lean_object* l_Lean_Parser_Term_leading__parser___closed__1; static lean_object* l_Lean_Parser_Term_instBinder___elambda__1___closed__5; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__1; static lean_object* l_Lean_Parser_Term_waitIfTypeContainsMVar_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_ellipsis___elambda__1___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_simpleBinderWithoutType_formatter___closed__2; @@ -3448,7 +3478,6 @@ static lean_object* l_Lean_Parser_Term_typeSpec___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_pipeCompletion___closed__4; static lean_object* l_Lean_Parser_Term_tupleTail___elambda__1___closed__12; LEAN_EXPORT lean_object* l_Lean_Parser_Term_letMVar___elambda__1(lean_object*, lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__8; static lean_object* l_Lean_Parser_Term_attr_quot___elambda__1___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_forInMacro_declRange___closed__3; static lean_object* l_Lean_Parser_Term_local_formatter___closed__3; @@ -3477,6 +3506,7 @@ static lean_object* l_Lean_Parser_Term_pipeProj_formatter___closed__1; static lean_object* l_Lean_Parser_Term_trueVal___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_explicit___elambda__1___closed__10; static lean_object* l_Lean_Parser_Command_docComment___elambda__1___closed__15; +static lean_object* l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Term_strictImplicitBinder_formatter___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_funBinder_quot___elambda__1___closed__15; static lean_object* l___regBuiltin_Lean_Parser_Term_paren_declRange___closed__2; @@ -3500,6 +3530,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_generalizingParam_formatter(lean_obj static lean_object* l_Lean_Parser_Term_leading__parser___elambda__1___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_show_declRange___closed__6; static lean_object* l_Lean_Parser_Term_noindex___elambda__1___closed__14; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_binop__lazy_declRange___closed__7; static lean_object* l_Lean_Parser_Term_stateRefT___closed__1; static lean_object* l_Lean_Parser_Term_typeAscription_formatter___closed__3; @@ -3730,12 +3761,12 @@ static lean_object* l_Lean_Parser_Term_cdot___elambda__1___closed__1; static lean_object* l_Lean_Parser_Term_attr_quot___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_match_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Term_basicFun_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__12; static lean_object* l_Lean_Parser_Term_show___elambda__1___closed__10; static lean_object* l_Lean_Parser_Term_generalizingParam_formatter___closed__3; static lean_object* l_Lean_Parser_Term_haveEqnsDecl___closed__2; static lean_object* l_Lean_Parser_Term_structInstArrayRef___elambda__1___closed__20; LEAN_EXPORT lean_object* l_Lean_Parser_Level_quot_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_waitIfTypeContainsMVar_declRange___closed__2; static lean_object* l_Lean_Parser_Term_matchDiscr_parenthesizer___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Term_haveDecl_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -3802,7 +3833,6 @@ static lean_object* l_Lean_Parser_Term_have___elambda__1___closed__2; static lean_object* l_Lean_Parser_Term_trailing__parser___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_arrayRef___closed__2; static lean_object* l_Lean_Parser_Term_inaccessible_parenthesizer___closed__4; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__23; static lean_object* l_Lean_Parser_Term_waitIfTypeMVar___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_quotedName_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_trueVal___closed__5; @@ -3813,7 +3843,6 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_falseVal_parenthesizer___clo static lean_object* l_Lean_Parser_Term_dynamicQuot___elambda__1___closed__20; static lean_object* l_Lean_Parser_Term_local___elambda__1___closed__13; static lean_object* l___regBuiltin_Lean_Parser_Term_let_declRange___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__13; static lean_object* l_Lean_Parser_Tactic_seq1___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_namedArgument___closed__8; LEAN_EXPORT lean_object* l_Lean_Parser_Term_fromTerm_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -3881,7 +3910,6 @@ static lean_object* l_Lean_Parser_Term_byTactic___elambda__1___closed__7; LEAN_EXPORT lean_object* l_Lean_Parser_Term_binderIdent; static lean_object* l_Lean_Parser_Term_attributes___elambda__1___closed__11; LEAN_EXPORT lean_object* l_Lean_Parser_Term_simpleBinder___elambda__1(lean_object*, lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__21; static lean_object* l_Lean_Parser_Term_falseVal_formatter___closed__1; static lean_object* l_Lean_Parser_Term_binop__lazy___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Term_typeOf_declRange___closed__7; @@ -3943,11 +3971,13 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_ident___elambda__1(lean_object*, lea static lean_object* l_Lean_Parser_Term_syntheticHole___elambda__1___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_inaccessible_formatter___closed__1; static lean_object* l_Lean_Parser_Term_binderTactic___closed__2; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_num_declRange___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_waitIfTypeContainsMVar_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_forall___closed__1; static lean_object* l_Lean_Parser_Term_anonymousCtor___elambda__1___closed__10; static lean_object* l_Lean_Parser_Term_funBinder_quot___closed__7; +static lean_object* l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__6; static lean_object* l_Lean_Parser_Term_binderTactic___closed__8; static lean_object* l_Lean_Parser_Term_ensureTypeOf_formatter___closed__4; static lean_object* l_Lean_Parser_Term_fun___elambda__1___closed__21; @@ -4045,6 +4075,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_sorry; static lean_object* l_Lean_Parser_Term_arrow_parenthesizer___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_quotedName_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_argument_parenthesizer___closed__2; +static lean_object* l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__1; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_matchDiscr_quot(lean_object*); static lean_object* l_Lean_Parser_Term_syntheticHole___closed__8; static lean_object* l_Lean_Parser_Term_panic___closed__1; @@ -4056,6 +4087,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_matchAlt(lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Term_letIdLhs_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Tactic_seq1_formatter___closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_sort_declRange(lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__31; static lean_object* l_Lean_Parser_Term_letMVar___elambda__1___closed__9; static lean_object* l___regBuiltin_Lean_Parser_Term_pipeCompletion_declRange___closed__2; static lean_object* l_Lean_Parser_Term_ensureTypeOf___elambda__1___closed__11; @@ -4165,6 +4197,7 @@ static lean_object* l_Lean_Parser_Term_letrec___elambda__1___closed__8; static lean_object* l_Lean_Parser_Term_anonymousCtor___closed__7; static lean_object* l_Lean_Parser_Command_docComment___closed__8; static lean_object* l_Lean_Parser_Term_structInstArrayRef___elambda__1___closed__6; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__11; LEAN_EXPORT lean_object* l_Lean_Parser_Term_letDecl_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1___closed__13; static lean_object* l___regBuiltin_Lean_Parser_Term_letrec_declRange___closed__3; @@ -4219,7 +4252,6 @@ static lean_object* l_Lean_Parser_Term_optEllipsis___elambda__1___closed__11; static lean_object* l_Lean_Parser_Term_typeAscription___elambda__1___closed__12; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__10; static lean_object* l___regBuiltin_Lean_Parser_Term_arrayRef_declRange___closed__4; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__2; static lean_object* l_Lean_Parser_Term_anonymousCtor___elambda__1___closed__20; static lean_object* l_Lean_Parser_Tactic_quotSeq___closed__5; static lean_object* l_Lean_Parser_Term_inaccessible___closed__7; @@ -4298,7 +4330,6 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_anonymousCtor_parenthesizer(lean_obj static lean_object* l_Lean_Parser_Term_doubleQuotedName_formatter___closed__4; static lean_object* l_Lean_Parser_Term_typeAscription___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Term_let__tmp_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__1; static lean_object* l_Lean_Parser_Term_letRecDecls_formatter___closed__3; static lean_object* l_Lean_Parser_Term_let__fun_formatter___closed__8; static lean_object* l_Lean_Parser_Term_ensureTypeOf_parenthesizer___closed__4; @@ -4364,7 +4395,6 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Term_ellipsis_parenthesizer(lean_object*, static lean_object* l_Lean_Parser_Term_attributes___closed__1; static lean_object* l_Lean_Parser_Term_letIdLhs_parenthesizer___closed__5; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_forall_parenthesizer(lean_object*); -static lean_object* l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__7; static lean_object* l_Lean_Parser_Term_instBinder_formatter___closed__1; static lean_object* l_Lean_Parser_Term_assert___closed__3; static lean_object* l_Lean_Parser_Term_explicit___elambda__1___closed__6; @@ -4387,6 +4417,7 @@ static lean_object* l_Lean_Parser_Term_bracketedBinder_quot___closed__8; static lean_object* l_Lean_Parser_Level_quot___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_binderTactic_formatter___closed__2; static lean_object* l_Lean_Parser_Term_explicitBinder___closed__2; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__4; 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_binrel___elambda__1___closed__14; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__15; @@ -4477,6 +4508,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_tacticSeq; static lean_object* l___regBuiltin_Lean_Parser_Term_paren_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_namedArgument_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_fun___elambda__1___closed__22; +static lean_object* l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__2; static lean_object* l_Lean_Parser_Term_anonymousCtor_parenthesizer___closed__7; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_explicitUniv(lean_object*); static lean_object* l_Lean_Parser_Term_paren_parenthesizer___closed__5; @@ -4569,6 +4601,7 @@ static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__5; static lean_object* l_Lean_Parser_Term_letrec___closed__5; static lean_object* l_Lean_Parser_Term_let_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Term_instBinder_formatter___closed__2; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__1; static lean_object* l_Lean_Parser_Term_let_formatter___closed__3; static lean_object* l_Lean_Parser_Term_matchAlt_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_match_parenthesizer___closed__7; @@ -4659,7 +4692,6 @@ static lean_object* l_Lean_Parser_Term_falseVal_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_panic___closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_arrayRef_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Level_quot___elambda__1___closed__6; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__17; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_ellipsis_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_let___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_basicFun___closed__18; @@ -4678,6 +4710,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_waitIfTypeContainsMVar_declR static lean_object* l_Lean_Parser_Term_structInst_formatter___closed__15; static lean_object* l_Lean_Parser_Term_depArrow_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_syntheticHole___elambda__1___closed__2; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__19; static lean_object* l_Lean_Parser_Term_trailing__parser___elambda__1___closed__11; static lean_object* l_Lean_Parser_Term_bracketedBinder_quot___closed__4; static lean_object* l_Lean_Parser_Term_scientific_formatter___closed__1; @@ -4762,6 +4795,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_namedArgument_formatter___cl static lean_object* l_Lean_Parser_Term_ensureExpectedType_parenthesizer___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_byTactic___closed__1; static lean_object* l_Lean_Parser_Term_structInstLVal___elambda__1___closed__24; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__6; static lean_object* l_Lean_Parser_Term_structInstField___closed__5; lean_object* l_Lean_Parser_ident_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_arrow_declRange(lean_object*); @@ -4802,6 +4836,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_arrow_formatter___closed__2; lean_object* l_Lean_Parser_levelParser_formatter___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_letRecDecls___elambda__1___closed__8; static lean_object* l_Lean_Parser_Term_syntheticHole___closed__3; +LEAN_EXPORT lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1(lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Term_ident_declRange___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_darrow___elambda__1___lambda__1___boxed(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_attrInstance___elambda__1___closed__9; @@ -4822,6 +4857,7 @@ static lean_object* l_Lean_Parser_Term_typeOf_formatter___closed__2; static lean_object* l_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_tupleTail_parenthesizer___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Term_structInstArrayRef; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__23; static lean_object* l___regBuiltin_Lean_Parser_Term_sort_declRange___closed__7; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_assert(lean_object*); static lean_object* l_Lean_Parser_Term_let__delayed___elambda__1___closed__11; @@ -5096,6 +5132,7 @@ static lean_object* l_Lean_Parser_Term_byTactic_parenthesizer___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_letDecl_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_forall___closed__10; static lean_object* l_Lean_Parser_Term_letRecDecl_parenthesizer___closed__5; +static lean_object* l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__1; static lean_object* l_Lean_Parser_Term_unreachable___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_matchAlt___closed__1; static lean_object* l_Lean_Parser_Term_doubleQuotedName___closed__2; @@ -5106,7 +5143,6 @@ static lean_object* l_Lean_Parser_Term_letRecDecl___closed__3; static lean_object* l_Lean_Parser_Term_noImplicitLambda___closed__2; static lean_object* l_Lean_Parser_Term_funSimpleBinder_parenthesizer___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_ensureExpectedType_parenthesizer___closed__2; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__36; static lean_object* l_Lean_Parser_Term_tupleTail_formatter___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_binop__lazy_declRange___closed__6; static lean_object* l_Lean_Parser_Term_trailing__parser___closed__3; @@ -5206,6 +5242,7 @@ static lean_object* l_Lean_Parser_Term_matchDiscr___elambda__1___closed__10; static lean_object* l_Lean_Parser_Term_attr_quot___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_scoped_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_binop___elambda__1___closed__8; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__1; static lean_object* l_Lean_Parser_Tactic_quotSeq___closed__1; static lean_object* l_Lean_Parser_Level_quot___elambda__1___closed__15; static lean_object* l_Lean_Parser_Term_letIdDecl___closed__8; @@ -5251,7 +5288,6 @@ static lean_object* l_Lean_Parser_Term_letIdDecl___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_binderDefault_parenthesizer___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_borrowed_declRange___closed__4; static lean_object* l_Lean_Parser_Term_binop___elambda__1___closed__1; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__9; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_hole_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_binderTactic___closed__6; static lean_object* l_Lean_Parser_Term_macroDollarArg_formatter___closed__1; @@ -5286,6 +5322,7 @@ static lean_object* l_Lean_Parser_Term_attrKind___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_waitIfTypeContainsMVar___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_dbgTrace___closed__10; static lean_object* l_Lean_Parser_Term_letRecDecls___closed__1; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__26; static lean_object* l___regBuiltin_Lean_Parser_Term_leading__parser_declRange___closed__7; LEAN_EXPORT lean_object* l_Lean_Parser_Term_explicit; static lean_object* l_Lean_Parser_Term_waitIfTypeMVar___elambda__1___closed__14; @@ -5413,6 +5450,7 @@ static lean_object* l_Lean_Parser_Term_falseVal___elambda__1___closed__4; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_matchDiscr_quot_declRange(lean_object*); static lean_object* l_Lean_Parser_Term_let__delayed_parenthesizer___closed__6; LEAN_EXPORT lean_object* l_Lean_Parser_Command_commentBody_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__10; LEAN_EXPORT lean_object* l_Lean_Parser_Term_num_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_doubleQuotedName___elambda__1___closed__3; static lean_object* l_Lean_Parser_Command_docComment___elambda__1___lambda__3___closed__8; @@ -5420,7 +5458,6 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_attr_quot_parenthesizer LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_app_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_proj_formatter___closed__4; static lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__5; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__19; static lean_object* l_Lean_Parser_Term_binderDefault___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_show_formatter___closed__1; static lean_object* l_Lean_Parser_Term_suffices_formatter___closed__6; @@ -5432,6 +5469,7 @@ static lean_object* l_Lean_Parser_Term_attr_quot_formatter___closed__6; static lean_object* l_Lean_Parser_Term_pipeProj_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Term_attr_quot___closed__9; static lean_object* l_Lean_Parser_Tactic_quotSeq___elambda__1___closed__6; +static lean_object* l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__1; static lean_object* l_Lean_Parser_Term_namedPattern___closed__2; static lean_object* l_Lean_Parser_Term_dynamicQuot___elambda__1___closed__11; LEAN_EXPORT lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -5568,6 +5606,7 @@ static lean_object* l_Lean_Parser_Term_explicitBinder_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Tactic_quot___elambda__1___closed__10; lean_object* l_Lean_Parser_unicodeSymbolInfo(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_tupleTail___elambda__1___closed__7; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__21; static lean_object* l_Lean_Parser_Term_ensureTypeOf___closed__3; static lean_object* l_Lean_Parser_Term_borrowed___closed__8; lean_object* l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -5585,12 +5624,12 @@ static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___close static lean_object* l_Lean_Parser_Term_subst_parenthesizer___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Term_noindex_declRange___closed__7; static lean_object* l_Lean_Parser_Term_structInstFieldAbbrev_parenthesizer___closed__4; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__35; static lean_object* l_Lean_Parser_Term_matchDiscr___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_funBinder_quot___closed__6; static lean_object* l_Lean_Parser_Term_letRecDecls_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Term_type_formatter___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_binop_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_matchDiscr_quot_formatter___closed__4; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_borrowed_formatter(lean_object*); static lean_object* l_Lean_Parser_Term_tupleTail_formatter___closed__4; @@ -5779,6 +5818,7 @@ static lean_object* l_Lean_Parser_Term_letDecl___closed__15; static lean_object* l_Lean_Parser_Term_bracketedBinder_quot___elambda__1___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Term_panic_declRange___closed__4; static lean_object* l_Lean_Parser_Term_waitIfTypeContainsMVar___closed__5; +static lean_object* l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__4; static lean_object* l_Lean_Parser_Term_scoped___elambda__1___closed__11; static lean_object* l_Lean_Parser_Command_docComment___closed__6; static lean_object* l_Lean_Parser_Term_type___elambda__1___closed__29; @@ -5789,10 +5829,9 @@ lean_object* l_Lean_Parser_checkWsBefore___elambda__1___boxed(lean_object*, lean static lean_object* l_Lean_Parser_Term_borrowed___elambda__1___closed__14; static lean_object* l_Lean_Parser_Term_show_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_trueVal___elambda__1___closed__6; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__31; static lean_object* l___regBuiltin_Lean_Parser_Term_sorry_declRange___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_63_(lean_object*); -LEAN_EXPORT lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564_(lean_object*); +LEAN_EXPORT lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580_(lean_object*); static lean_object* l_Lean_Parser_Term_have___elambda__1___closed__13; static lean_object* l_Lean_Parser_Term_noindex___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_typeAscription___elambda__1___closed__9; @@ -5854,6 +5893,7 @@ static lean_object* l_Lean_Parser_Term_anonymousCtor_parenthesizer___closed__4; static lean_object* l_Lean_Parser_darrow___closed__3; static lean_object* l_Lean_Parser_Term_waitIfTypeMVar_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_dynamicQuot___closed__8; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__2; static lean_object* l_Lean_Parser_Term_nomatch_formatter___closed__4; lean_object* l_Lean_Parser_ident_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_structInst___closed__11; @@ -5888,6 +5928,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_funBinder_quot_declRange___c static lean_object* l_Lean_Parser_Term_forInMacro_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Term_funBinder_quot___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_haveIdLhs___elambda__1___closed__4; +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__35; static lean_object* l___regBuiltin_Lean_Parser_Term_basicFun_formatter___closed__2; static lean_object* l_Lean_Parser_Term_whereDecls_parenthesizer___closed__7; static lean_object* l_Lean_Parser_Term_waitIfTypeMVar___elambda__1___closed__15; @@ -5992,6 +6033,7 @@ static lean_object* l_Lean_Parser_Term_type_parenthesizer___closed__12; static lean_object* l_Lean_Parser_Term_str_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Term_letrec_parenthesizer___closed__1; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_binrel_declRange(lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__36; static lean_object* l_Lean_Parser_Term_funSimpleBinder___closed__4; static lean_object* l_Lean_Parser_Term_funStrictImplicitBinder_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Term_binderDefault___closed__5; @@ -6000,7 +6042,6 @@ static lean_object* l_Lean_Parser_Term_letRecDecl_parenthesizer___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_proj_declRange___closed__4; static lean_object* l_Lean_Parser_Term_attrKind___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_structInstField___closed__7; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__11; static lean_object* l___regBuiltin_Lean_Parser_Term_optEllipsis_formatter___closed__2; static lean_object* l_Lean_Parser_Term_structInst_parenthesizer___closed__14; LEAN_EXPORT lean_object* l_Lean_Parser_Term_structInstField_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -6021,7 +6062,6 @@ static lean_object* l_Lean_Parser_Tactic_quotSeq___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_ensureExpectedType_formatter___closed__1; static lean_object* l_Lean_Parser_Term_letMVar___elambda__1___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_letRecDecl_formatter___closed__2; -static lean_object* l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__6; static lean_object* l_Lean_Parser_Term_stateRefT___elambda__1___closed__9; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_binop_declRange(lean_object*); static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___closed__14; @@ -6050,6 +6090,7 @@ static lean_object* l_Lean_Parser_Term_forInMacro_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Tactic_tacticSeq1Indented___elambda__1___closed__5; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_char(lean_object*); static lean_object* l_Lean_Parser_Term_showRhs___closed__2; +static lean_object* l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__2; static lean_object* l_Lean_Parser_Command_docComment___elambda__1___closed__7; static lean_object* l_Lean_Parser_Term_borrowed___elambda__1___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Term_explicitBinder_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -6080,6 +6121,7 @@ lean_object* l_Lean_PrettyPrinter_Formatter_andthen_formatter(lean_object*, lean static lean_object* l___regBuiltin_Lean_Parser_Term_let__delayed_declRange___closed__7; static lean_object* l_Lean_Parser_Term_forall_formatter___closed__9; static lean_object* l_Lean_Parser_Term_scoped___elambda__1___closed__12; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_doubleQuotedName___elambda__1___closed__4; static lean_object* l_Lean_Parser_Term_letIdLhs_formatter___closed__2; static lean_object* l_Lean_Parser_Command_docComment___elambda__1___lambda__3___closed__6; @@ -6197,6 +6239,7 @@ static lean_object* l_Lean_Parser_Term_attr_quot___elambda__1___closed__12; static lean_object* l_Lean_Parser_Term_fun_parenthesizer___closed__5; uint8_t lean_nat_dec_lt(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_attr_quot___closed__5; +static lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__3; static lean_object* l_Lean_Parser_Term_funImplicitBinder_formatter___closed__4; static lean_object* l_Lean_Parser_Term_generalizingParam_parenthesizer___closed__9; static lean_object* l_Lean_Parser_Term_ident___closed__2; @@ -6220,7 +6263,6 @@ static lean_object* l_Lean_Parser_Term_namedArgument_formatter___closed__3; static lean_object* l_Lean_Parser_Term_argument___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Term_binop_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Term_letrec_formatter___closed__8; -static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__26; static lean_object* l_Lean_Parser_Term_sufficesDecl_parenthesizer___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Term_binop_declRange___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Term_let__fun_declRange___closed__3; @@ -6231,6 +6273,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_stateRefT_declRange___closed static lean_object* l_Lean_Parser_Term_whereDecls___elambda__1___closed__6; static lean_object* l_Lean_Parser_Term_match_formatter___closed__5; lean_object* l_Lean_Parser_setLhsPrecFn___boxed(lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__13; static lean_object* l_Lean_Parser_Command_docComment___elambda__1___closed__20; LEAN_EXPORT lean_object* l_Lean_Parser_Term_assert___elambda__1___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*); uint8_t l_Lean_Syntax_isIdent(lean_object*); @@ -70908,6 +70951,621 @@ 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_arbitraryOrOfNonempty___elambda__1___closed__1() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("arbitraryOrOfNonempty"); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_byTactic___elambda__1___closed__2; +x_2 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__1; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__2; +x_2 = lean_alloc_ctor(1, 1, 0); +lean_ctor_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__1; +x_2 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__3; +x_3 = 1; +x_4 = l_Lean_Parser_mkAntiquot(x_1, x_2, x_3); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__5() { +_start: +{ +lean_object* x_1; +x_1 = lean_mk_string("arbitrary_or_ofNonempty%"); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__6() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__5; +x_2 = l_String_trim(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__7() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__6; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_symbolFn___boxed), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__8() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__7; +x_2 = lean_alloc_closure((void*)(l_Lean_Parser_tokenWithAntiquotFn), 3, 1); +lean_closure_set(x_2, 0, x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__9() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__2; +x_2 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__8; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_nodeFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__10() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__9; +x_2 = l_Lean_Parser_Command_docComment___elambda__1___closed__21; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__11() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_docComment___elambda__1___closed__19; +x_2 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__10; +x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_3, 0, x_1); +lean_closure_set(x_3, 1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__12() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_docComment___elambda__1___lambda__3___closed__6; +x_2 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__6; +x_3 = lean_string_append(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__13() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__12; +x_2 = l_Lean_Parser_Command_docComment___elambda__1___lambda__3___closed__6; +x_3 = lean_string_append(x_1, x_2); +return x_3; +} +} +LEAN_EXPORT lean_object* l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1(lean_object* x_1, lean_object* x_2) { +_start: +{ +lean_object* x_3; lean_object* x_4; uint8_t x_5; +x_3 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__4; +x_4 = lean_ctor_get(x_3, 1); +lean_inc(x_4); +lean_inc(x_2); +lean_inc(x_1); +x_5 = l_Lean_Parser_tryAnti(x_1, x_2); +if (x_5 == 0) +{ +lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; uint8_t x_10; +lean_dec(x_4); +x_6 = lean_unsigned_to_nat(1024u); +x_7 = l_Lean_Parser_checkPrecFn(x_6, x_1, x_2); +x_8 = lean_ctor_get(x_7, 4); +lean_inc(x_8); +x_9 = lean_box(0); +x_10 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_802____at_Lean_Parser_ParserState_hasError___spec__1(x_8, x_9); +lean_dec(x_8); +if (x_10 == 0) +{ +lean_dec(x_1); +return x_7; +} +else +{ +lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; uint8_t x_17; +x_11 = lean_ctor_get(x_7, 0); +lean_inc(x_11); +x_12 = lean_array_get_size(x_11); +lean_dec(x_11); +x_13 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__6; +x_14 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__13; +lean_inc(x_1); +x_15 = l_Lean_Parser_symbolFnAux(x_13, x_14, x_1, x_7); +x_16 = lean_ctor_get(x_15, 4); +lean_inc(x_16); +x_17 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_802____at_Lean_Parser_ParserState_hasError___spec__1(x_16, x_9); +lean_dec(x_16); +if (x_17 == 0) +{ +lean_object* x_18; lean_object* x_19; lean_object* x_20; uint8_t x_21; +x_18 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__2; +x_19 = l_Lean_Parser_ParserState_mkNode(x_15, x_18, x_12); +x_20 = lean_ctor_get(x_19, 4); +lean_inc(x_20); +x_21 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_802____at_Lean_Parser_ParserState_hasError___spec__1(x_20, x_9); +lean_dec(x_20); +if (x_21 == 0) +{ +lean_dec(x_1); +return x_19; +} +else +{ +lean_object* x_22; +x_22 = l_Lean_Parser_setLhsPrecFn(x_6, x_1, x_19); +lean_dec(x_1); +return x_22; +} +} +else +{ +lean_object* x_23; lean_object* x_24; uint8_t x_25; +x_23 = lean_ctor_get(x_1, 4); +lean_inc(x_23); +x_24 = lean_unsigned_to_nat(0u); +x_25 = lean_nat_dec_eq(x_23, x_24); +lean_dec(x_23); +if (x_25 == 0) +{ +lean_object* x_26; lean_object* x_27; lean_object* x_28; lean_object* x_29; lean_object* x_30; uint8_t x_31; +x_26 = lean_box(0); +lean_inc(x_1); +x_27 = l_Lean_Parser_Command_docComment___elambda__1___lambda__3(x_15, x_1, x_9, x_26); +x_28 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__2; +x_29 = l_Lean_Parser_ParserState_mkNode(x_27, x_28, x_12); +x_30 = lean_ctor_get(x_29, 4); +lean_inc(x_30); +x_31 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_802____at_Lean_Parser_ParserState_hasError___spec__1(x_30, x_9); +lean_dec(x_30); +if (x_31 == 0) +{ +lean_dec(x_1); +return x_29; +} +else +{ +lean_object* x_32; +x_32 = l_Lean_Parser_setLhsPrecFn(x_6, x_1, x_29); +lean_dec(x_1); +return x_32; +} +} +else +{ +lean_object* x_33; lean_object* x_34; lean_object* x_35; uint8_t x_36; +x_33 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__2; +x_34 = l_Lean_Parser_ParserState_mkNode(x_15, x_33, x_12); +x_35 = lean_ctor_get(x_34, 4); +lean_inc(x_35); +x_36 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_802____at_Lean_Parser_ParserState_hasError___spec__1(x_35, x_9); +lean_dec(x_35); +if (x_36 == 0) +{ +lean_dec(x_1); +return x_34; +} +else +{ +lean_object* x_37; +x_37 = l_Lean_Parser_setLhsPrecFn(x_6, x_1, x_34); +lean_dec(x_1); +return x_37; +} +} +} +} +} +else +{ +lean_object* x_38; uint8_t x_39; lean_object* x_40; +x_38 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__11; +x_39 = 1; +x_40 = l_Lean_Parser_orelseFnCore(x_4, x_38, x_39, x_1, x_2); +return x_40; +} +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__6; +x_2 = l_Lean_Parser_symbolInfo(x_1); +return x_2; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__2; +x_2 = l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__1; +x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__3() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__2; +x_2 = l_Lean_Parser_epsilonInfo; +x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_epsilonInfo; +x_2 = l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__3; +x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___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_arbitraryOrOfNonempty___elambda__1___closed__4; +x_2 = lean_ctor_get(x_1, 0); +lean_inc(x_2); +x_3 = l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__4; +x_4 = l_Lean_Parser_orelseInfo(x_2, x_3); +return x_4; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__6() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1), 2, 0); +return x_1; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__7() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__5; +x_2 = l_Lean_Parser_Term_arbitraryOrOfNonempty___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; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty() { +_start: +{ +lean_object* x_1; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__7; +return x_1; +} +} +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty(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_arbitraryOrOfNonempty___elambda__1___closed__2; +x_4 = 1; +x_5 = l_Lean_Parser_Term_arbitraryOrOfNonempty; +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_arbitraryOrOfNonempty_declRange___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_unsigned_to_nat(245u); +x_2 = lean_unsigned_to_nat(21u); +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_arbitraryOrOfNonempty_declRange___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_unsigned_to_nat(245u); +x_2 = lean_unsigned_to_nat(91u); +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_arbitraryOrOfNonempty_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_arbitraryOrOfNonempty_declRange___closed__1; +x_2 = lean_unsigned_to_nat(21u); +x_3 = l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__2; +x_4 = lean_unsigned_to_nat(91u); +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_arbitraryOrOfNonempty_declRange___closed__4() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_unsigned_to_nat(245u); +x_2 = lean_unsigned_to_nat(25u); +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_arbitraryOrOfNonempty_declRange___closed__5() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = lean_unsigned_to_nat(245u); +x_2 = lean_unsigned_to_nat(46u); +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_arbitraryOrOfNonempty_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_arbitraryOrOfNonempty_declRange___closed__4; +x_2 = lean_unsigned_to_nat(25u); +x_3 = l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__5; +x_4 = lean_unsigned_to_nat(46u); +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_arbitraryOrOfNonempty_declRange___closed__7() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__3; +x_2 = l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_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_arbitraryOrOfNonempty_declRange(lean_object* x_1) { +_start: +{ +lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_2 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__2; +x_3 = l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_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_arbitraryOrOfNonempty_formatter___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; lean_object* x_5; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__1; +x_2 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__3; +x_3 = 1; +x_4 = lean_box(x_3); +x_5 = lean_alloc_closure((void*)(l_Lean_Parser_mkAntiquot_formatter___boxed), 8, 3); +lean_closure_set(x_5, 0, x_1); +lean_closure_set(x_5, 1, x_2); +lean_closure_set(x_5, 2, x_4); +return x_5; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__5; +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_arbitraryOrOfNonempty_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_arbitraryOrOfNonempty___elambda__1___closed__2; +x_2 = lean_unsigned_to_nat(1024u); +x_3 = l_Lean_Parser_Term_arbitraryOrOfNonempty_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_arbitraryOrOfNonempty_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_arbitraryOrOfNonempty_formatter___closed__1; +x_7 = l_Lean_Parser_Term_arbitraryOrOfNonempty_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_arbitraryOrOfNonempty_formatter___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__2; +x_2 = l___regBuiltin_Lean_Parser_Tactic_tacticSeqBracketed_formatter___closed__1; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__2() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_arbitraryOrOfNonempty_formatter), 5, 0); +return x_1; +} +} +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_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_Lean_PrettyPrinter_formatterAttribute; +x_3 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__2; +x_4 = l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__1; +x_5 = l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_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_arbitraryOrOfNonempty_parenthesizer___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; uint8_t x_3; lean_object* x_4; lean_object* x_5; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__1; +x_2 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__3; +x_3 = 1; +x_4 = lean_box(x_3); +x_5 = lean_alloc_closure((void*)(l_Lean_Parser_mkAntiquot_parenthesizer___boxed), 8, 3); +lean_closure_set(x_5, 0, x_1); +lean_closure_set(x_5, 1, x_2); +lean_closure_set(x_5, 2, x_4); +return x_5; +} +} +static lean_object* _init_l_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__2() { +_start: +{ +lean_object* x_1; lean_object* x_2; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__5; +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_arbitraryOrOfNonempty_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_arbitraryOrOfNonempty___elambda__1___closed__2; +x_2 = lean_unsigned_to_nat(1024u); +x_3 = l_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__2; +x_4 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_leadingNode_parenthesizer___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_arbitraryOrOfNonempty_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_arbitraryOrOfNonempty_parenthesizer___closed__1; +x_7 = l_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__3; +x_8 = l_Lean_PrettyPrinter_Parenthesizer_orelse_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_arbitraryOrOfNonempty_parenthesizer___closed__1() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__2; +x_2 = l___regBuiltin_Lean_Parser_Tactic_tacticSeqBracketed_parenthesizer___closed__1; +x_3 = lean_name_mk_string(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__2() { +_start: +{ +lean_object* x_1; +x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer), 5, 0); +return x_1; +} +} +LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_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_Lean_PrettyPrinter_parenthesizerAttribute; +x_3 = l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__2; +x_4 = l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__1; +x_5 = l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_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_namedArgument___elambda__1___closed__1() { _start: { @@ -75943,7 +76601,7 @@ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_unsigned_to_nat(245u); -x_2 = lean_unsigned_to_nat(21u); +x_2 = lean_unsigned_to_nat(197u); x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); lean_ctor_set(x_3, 1, x_2); @@ -75953,22 +76611,10 @@ return x_3; static lean_object* _init_l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__2() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(245u); -x_2 = lean_unsigned_to_nat(197u); -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_namedPattern_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_namedPattern_declRange___closed__1; +x_1 = l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__1; x_2 = lean_unsigned_to_nat(21u); -x_3 = l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__2; +x_3 = l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__1; x_4 = lean_unsigned_to_nat(197u); x_5 = lean_alloc_ctor(0, 4, 0); lean_ctor_set(x_5, 0, x_1); @@ -75978,19 +76624,7 @@ lean_ctor_set(x_5, 3, x_4); return x_5; } } -static lean_object* _init_l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__4() { -_start: -{ -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = lean_unsigned_to_nat(245u); -x_2 = lean_unsigned_to_nat(25u); -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_namedPattern_declRange___closed__5() { +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__3() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -76002,13 +76636,13 @@ lean_ctor_set(x_3, 1, x_2); return x_3; } } -static lean_object* _init_l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__6() { +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__4() { _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_namedPattern_declRange___closed__4; +x_1 = l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__4; x_2 = lean_unsigned_to_nat(25u); -x_3 = l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__5; +x_3 = l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__3; x_4 = lean_unsigned_to_nat(37u); x_5 = lean_alloc_ctor(0, 4, 0); lean_ctor_set(x_5, 0, x_1); @@ -76018,12 +76652,12 @@ lean_ctor_set(x_5, 3, x_4); return x_5; } } -static lean_object* _init_l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__7() { +static lean_object* _init_l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__5() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__3; -x_2 = l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__6; +x_1 = l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__2; +x_2 = l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__4; x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); lean_ctor_set(x_3, 1, x_2); @@ -76035,7 +76669,7 @@ _start: { lean_object* x_2; lean_object* x_3; lean_object* x_4; x_2 = l_Lean_Parser_Term_namedPattern___elambda__1___closed__2; -x_3 = l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__7; +x_3 = l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__5; x_4 = l_Lean_addBuiltinDeclarationRanges(x_2, x_3, x_1); return x_4; } @@ -89371,7 +90005,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_3564____closed__1() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__1() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -89381,7 +90015,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__2() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__2() { _start: { lean_object* x_1; lean_object* x_2; @@ -89391,7 +90025,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_3564____closed__3() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__3() { _start: { lean_object* x_1; lean_object* x_2; @@ -89401,7 +90035,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_3564____closed__4() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__4() { _start: { lean_object* x_1; lean_object* x_2; @@ -89411,7 +90045,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_3564____closed__5() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__5() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -89421,7 +90055,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__6() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__6() { _start: { lean_object* x_1; lean_object* x_2; @@ -89431,7 +90065,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_3564____closed__7() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__7() { _start: { lean_object* x_1; lean_object* x_2; @@ -89441,7 +90075,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_3564____closed__8() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__8() { _start: { lean_object* x_1; lean_object* x_2; @@ -89451,7 +90085,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_3564____closed__9() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__9() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -89461,7 +90095,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__10() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__10() { _start: { lean_object* x_1; lean_object* x_2; @@ -89471,7 +90105,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_3564____closed__11() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__11() { _start: { lean_object* x_1; lean_object* x_2; @@ -89481,7 +90115,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_3564____closed__12() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__12() { _start: { lean_object* x_1; lean_object* x_2; @@ -89491,7 +90125,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_3564____closed__13() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__13() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -89501,7 +90135,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__14() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__14() { _start: { lean_object* x_1; lean_object* x_2; @@ -89511,7 +90145,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_3564____closed__15() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__15() { _start: { lean_object* x_1; lean_object* x_2; @@ -89521,7 +90155,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_3564____closed__16() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__16() { _start: { lean_object* x_1; lean_object* x_2; @@ -89531,7 +90165,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_3564____closed__17() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__17() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -89541,7 +90175,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__18() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__18() { _start: { lean_object* x_1; lean_object* x_2; @@ -89551,7 +90185,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_3564____closed__19() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__19() { _start: { lean_object* x_1; lean_object* x_2; @@ -89561,7 +90195,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_3564____closed__20() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__20() { _start: { lean_object* x_1; lean_object* x_2; @@ -89571,7 +90205,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_3564____closed__21() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__21() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -89581,7 +90215,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__22() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__22() { _start: { lean_object* x_1; lean_object* x_2; @@ -89591,7 +90225,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_3564____closed__23() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__23() { _start: { lean_object* x_1; lean_object* x_2; @@ -89601,7 +90235,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_3564____closed__24() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__24() { _start: { lean_object* x_1; lean_object* x_2; @@ -89611,7 +90245,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_3564____closed__25() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__25() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -89621,7 +90255,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__26() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__26() { _start: { lean_object* x_1; lean_object* x_2; @@ -89631,7 +90265,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_3564____closed__27() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__27() { _start: { lean_object* x_1; lean_object* x_2; @@ -89641,7 +90275,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_3564____closed__28() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__28() { _start: { lean_object* x_1; lean_object* x_2; @@ -89651,7 +90285,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_3564____closed__29() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__29() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -89661,7 +90295,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__30() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__30() { _start: { lean_object* x_1; lean_object* x_2; @@ -89671,7 +90305,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_3564____closed__31() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__31() { _start: { lean_object* x_1; lean_object* x_2; @@ -89681,7 +90315,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_3564____closed__32() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__32() { _start: { lean_object* x_1; lean_object* x_2; @@ -89691,7 +90325,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_3564____closed__33() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__33() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -89701,7 +90335,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__34() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__34() { _start: { lean_object* x_1; lean_object* x_2; @@ -89711,7 +90345,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_3564____closed__35() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__35() { _start: { lean_object* x_1; lean_object* x_2; @@ -89721,7 +90355,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_3564____closed__36() { +static lean_object* _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__36() { _start: { lean_object* x_1; lean_object* x_2; @@ -89731,13 +90365,13 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -LEAN_EXPORT lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564_(lean_object* x_1) { +LEAN_EXPORT lean_object* l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580_(lean_object* x_1) { _start: { lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l_Lean_Parser_parserAliasesRef; -x_3 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__1; -x_4 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__2; +x_3 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__1; +x_4 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__2; x_5 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_3, x_4, x_1); if (lean_obj_tag(x_5) == 0) { @@ -89746,7 +90380,7 @@ x_6 = lean_ctor_get(x_5, 1); lean_inc(x_6); lean_dec(x_5); x_7 = l_Lean_PrettyPrinter_Formatter_formatterAliasesRef; -x_8 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__3; +x_8 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__3; x_9 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_3, x_8, x_6); if (lean_obj_tag(x_9) == 0) { @@ -89755,7 +90389,7 @@ x_10 = lean_ctor_get(x_9, 1); lean_inc(x_10); lean_dec(x_9); x_11 = l_Lean_PrettyPrinter_Parenthesizer_parenthesizerAliasesRef; -x_12 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__4; +x_12 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__4; x_13 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_3, x_12, x_10); if (lean_obj_tag(x_13) == 0) { @@ -89763,8 +90397,8 @@ lean_object* x_14; lean_object* x_15; lean_object* x_16; lean_object* x_17; x_14 = lean_ctor_get(x_13, 1); lean_inc(x_14); lean_dec(x_13); -x_15 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__5; -x_16 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__6; +x_15 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__5; +x_16 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__6; x_17 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_15, x_16, x_14); if (lean_obj_tag(x_17) == 0) { @@ -89772,7 +90406,7 @@ lean_object* x_18; lean_object* x_19; lean_object* x_20; x_18 = lean_ctor_get(x_17, 1); lean_inc(x_18); lean_dec(x_17); -x_19 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__7; +x_19 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__7; x_20 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_15, x_19, x_18); if (lean_obj_tag(x_20) == 0) { @@ -89780,7 +90414,7 @@ lean_object* x_21; lean_object* x_22; lean_object* x_23; x_21 = lean_ctor_get(x_20, 1); lean_inc(x_21); lean_dec(x_20); -x_22 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__8; +x_22 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__8; x_23 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_15, x_22, x_21); if (lean_obj_tag(x_23) == 0) { @@ -89788,8 +90422,8 @@ lean_object* x_24; lean_object* x_25; lean_object* x_26; lean_object* x_27; x_24 = lean_ctor_get(x_23, 1); lean_inc(x_24); lean_dec(x_23); -x_25 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__9; -x_26 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__10; +x_25 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__9; +x_26 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__10; x_27 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_25, x_26, x_24); if (lean_obj_tag(x_27) == 0) { @@ -89797,7 +90431,7 @@ lean_object* x_28; lean_object* x_29; lean_object* x_30; 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_3564____closed__11; +x_29 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__11; x_30 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_25, x_29, x_28); if (lean_obj_tag(x_30) == 0) { @@ -89805,7 +90439,7 @@ lean_object* x_31; lean_object* x_32; lean_object* x_33; x_31 = lean_ctor_get(x_30, 1); lean_inc(x_31); lean_dec(x_30); -x_32 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__12; +x_32 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__12; x_33 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_25, x_32, x_31); if (lean_obj_tag(x_33) == 0) { @@ -89813,8 +90447,8 @@ lean_object* x_34; lean_object* x_35; lean_object* x_36; lean_object* x_37; 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_3564____closed__13; -x_36 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__14; +x_35 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__13; +x_36 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__14; x_37 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_35, x_36, x_34); if (lean_obj_tag(x_37) == 0) { @@ -89822,7 +90456,7 @@ lean_object* x_38; lean_object* x_39; lean_object* x_40; x_38 = lean_ctor_get(x_37, 1); lean_inc(x_38); lean_dec(x_37); -x_39 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__15; +x_39 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__15; x_40 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_35, x_39, x_38); if (lean_obj_tag(x_40) == 0) { @@ -89830,7 +90464,7 @@ lean_object* x_41; lean_object* x_42; lean_object* x_43; x_41 = lean_ctor_get(x_40, 1); lean_inc(x_41); lean_dec(x_40); -x_42 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__16; +x_42 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__16; x_43 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_35, x_42, x_41); if (lean_obj_tag(x_43) == 0) { @@ -89838,8 +90472,8 @@ lean_object* x_44; lean_object* x_45; lean_object* x_46; lean_object* x_47; x_44 = lean_ctor_get(x_43, 1); lean_inc(x_44); lean_dec(x_43); -x_45 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__17; -x_46 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__18; +x_45 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__17; +x_46 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__18; x_47 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_45, x_46, x_44); if (lean_obj_tag(x_47) == 0) { @@ -89847,7 +90481,7 @@ lean_object* x_48; lean_object* x_49; lean_object* x_50; x_48 = lean_ctor_get(x_47, 1); lean_inc(x_48); lean_dec(x_47); -x_49 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__19; +x_49 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__19; x_50 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_45, x_49, x_48); if (lean_obj_tag(x_50) == 0) { @@ -89855,7 +90489,7 @@ lean_object* x_51; lean_object* x_52; lean_object* x_53; x_51 = lean_ctor_get(x_50, 1); lean_inc(x_51); lean_dec(x_50); -x_52 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__20; +x_52 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__20; x_53 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_45, x_52, x_51); if (lean_obj_tag(x_53) == 0) { @@ -89863,8 +90497,8 @@ lean_object* x_54; lean_object* x_55; lean_object* x_56; lean_object* x_57; x_54 = lean_ctor_get(x_53, 1); lean_inc(x_54); lean_dec(x_53); -x_55 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__21; -x_56 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__22; +x_55 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__21; +x_56 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__22; x_57 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_55, x_56, x_54); if (lean_obj_tag(x_57) == 0) { @@ -89872,7 +90506,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_3564____closed__23; +x_59 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__23; x_60 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_55, x_59, x_58); if (lean_obj_tag(x_60) == 0) { @@ -89880,7 +90514,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_3564____closed__24; +x_62 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__24; x_63 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_55, x_62, x_61); if (lean_obj_tag(x_63) == 0) { @@ -89888,8 +90522,8 @@ lean_object* x_64; lean_object* x_65; lean_object* x_66; lean_object* x_67; 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_3564____closed__25; -x_66 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__26; +x_65 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__25; +x_66 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__26; x_67 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_65, x_66, x_64); if (lean_obj_tag(x_67) == 0) { @@ -89897,7 +90531,7 @@ lean_object* x_68; lean_object* x_69; lean_object* x_70; x_68 = lean_ctor_get(x_67, 1); lean_inc(x_68); lean_dec(x_67); -x_69 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__27; +x_69 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__27; x_70 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_65, x_69, x_68); if (lean_obj_tag(x_70) == 0) { @@ -89905,7 +90539,7 @@ lean_object* x_71; lean_object* x_72; lean_object* x_73; x_71 = lean_ctor_get(x_70, 1); lean_inc(x_71); lean_dec(x_70); -x_72 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__28; +x_72 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__28; x_73 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_65, x_72, x_71); if (lean_obj_tag(x_73) == 0) { @@ -89913,8 +90547,8 @@ lean_object* x_74; lean_object* x_75; lean_object* x_76; lean_object* x_77; x_74 = lean_ctor_get(x_73, 1); lean_inc(x_74); lean_dec(x_73); -x_75 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__29; -x_76 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__30; +x_75 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__29; +x_76 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__30; x_77 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_75, x_76, x_74); if (lean_obj_tag(x_77) == 0) { @@ -89922,7 +90556,7 @@ lean_object* x_78; lean_object* x_79; lean_object* x_80; x_78 = lean_ctor_get(x_77, 1); lean_inc(x_78); lean_dec(x_77); -x_79 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__31; +x_79 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__31; x_80 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_75, x_79, x_78); if (lean_obj_tag(x_80) == 0) { @@ -89930,7 +90564,7 @@ lean_object* x_81; lean_object* x_82; lean_object* x_83; x_81 = lean_ctor_get(x_80, 1); lean_inc(x_81); lean_dec(x_80); -x_82 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__32; +x_82 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__32; x_83 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_75, x_82, x_81); if (lean_obj_tag(x_83) == 0) { @@ -89938,8 +90572,8 @@ lean_object* x_84; lean_object* x_85; lean_object* x_86; lean_object* x_87; x_84 = lean_ctor_get(x_83, 1); lean_inc(x_84); lean_dec(x_83); -x_85 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__33; -x_86 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__34; +x_85 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__33; +x_86 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__34; x_87 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_85, x_86, x_84); if (lean_obj_tag(x_87) == 0) { @@ -89947,7 +90581,7 @@ lean_object* x_88; lean_object* x_89; lean_object* x_90; 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_3564____closed__35; +x_89 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__35; x_90 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_85, x_89, x_88); if (lean_obj_tag(x_90) == 0) { @@ -89955,7 +90589,7 @@ lean_object* x_91; lean_object* x_92; lean_object* x_93; x_91 = lean_ctor_get(x_90, 1); lean_inc(x_91); lean_dec(x_90); -x_92 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__36; +x_92 = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__36; x_93 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_85, x_92, x_91); return x_93; } @@ -99499,6 +100133,94 @@ lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_waitIfContainsMVar_parenthe res = l___regBuiltin_Lean_Parser_Term_waitIfContainsMVar_parenthesizer(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); +l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__1 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__1); +l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__2 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__2); +l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__3 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__3); +l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__4 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__4); +l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__5 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__5); +l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__6 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__6); +l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__7 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__7(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__7); +l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__8 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__8(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__8); +l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__9 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__9(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__9); +l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__10 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__10(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__10); +l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__11 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__11(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__11); +l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__12 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__12(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__12); +l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__13 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__13(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___elambda__1___closed__13); +l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__1 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__1); +l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__2 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__2); +l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__3 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__3); +l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__4 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__4(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__4); +l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__5 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__5(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__5); +l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__6 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__6(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__6); +l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__7 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__7(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty___closed__7); +l_Lean_Parser_Term_arbitraryOrOfNonempty = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty); +res = l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty(lean_io_mk_world()); +if (lean_io_result_is_error(res)) return res; +lean_dec_ref(res); +l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__1(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__1); +l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__2 = _init_l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__2(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__2); +l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__3 = _init_l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__3(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__3); +l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__4 = _init_l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__4(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__4); +l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__5 = _init_l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__5(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__5); +l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__6 = _init_l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__6(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__6); +l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__7 = _init_l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__7(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange___closed__7); +res = l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_declRange(lean_io_mk_world()); +if (lean_io_result_is_error(res)) return res; +lean_dec_ref(res); +l_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__1 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__1); +l_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__2 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__2); +l_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__3 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__3); +l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__1(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__1); +l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__2 = _init_l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__2(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_formatter___closed__2); +res = l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_formatter(lean_io_mk_world()); +if (lean_io_result_is_error(res)) return res; +lean_dec_ref(res); +l_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__1 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__1(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__1); +l_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__2 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__2(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__2); +l_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__3 = _init_l_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__3(); +lean_mark_persistent(l_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__3); +l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__1(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__1); +l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__2 = _init_l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__2(); +lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer___closed__2); +res = l___regBuiltin_Lean_Parser_Term_arbitraryOrOfNonempty_parenthesizer(lean_io_mk_world()); +if (lean_io_result_is_error(res)) return res; +lean_dec_ref(res); l_Lean_Parser_Term_namedArgument___elambda__1___closed__1 = _init_l_Lean_Parser_Term_namedArgument___elambda__1___closed__1(); lean_mark_persistent(l_Lean_Parser_Term_namedArgument___elambda__1___closed__1); l_Lean_Parser_Term_namedArgument___elambda__1___closed__2 = _init_l_Lean_Parser_Term_namedArgument___elambda__1___closed__2(); @@ -100142,10 +100864,6 @@ l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__4 = _init_l___r lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__4); l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__5 = _init_l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__5(); lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__5); -l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__6 = _init_l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__6(); -lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__6); -l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__7 = _init_l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__7(); -lean_mark_persistent(l___regBuiltin_Lean_Parser_Term_namedPattern_declRange___closed__7); res = l___regBuiltin_Lean_Parser_Term_namedPattern_declRange(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); @@ -101937,79 +102655,79 @@ lean_mark_persistent(l___regBuiltin_Lean_Parser_Level_quot_parenthesizer___close res = l___regBuiltin_Lean_Parser_Level_quot_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_3564____closed__1 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__1(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__1); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__2 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__2(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__2); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__3 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__3(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__3); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__4 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__4(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__4); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__5 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__5(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__5); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__6 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__6(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__6); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__7 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__7(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__7); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__8 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__8(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__8); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__9 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__9(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__9); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__10 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__10(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__10); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__11 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__11(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__11); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__12 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__12(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__12); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__13 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__13(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__13); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__14 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__14(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__14); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__15 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__15(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__15); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__16 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__16(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__16); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__17 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__17(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__17); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__18 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__18(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__18); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__19 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__19(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__19); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__20 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__20(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__20); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__21 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__21(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__21); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__22 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__22(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__22); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__23 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__23(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__23); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__24 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__24(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__24); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__25 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__25(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__25); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__26 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__26(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__26); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__27 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__27(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__27); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__28 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__28(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__28); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__29 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__29(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__29); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__30 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__30(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__30); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__31 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__31(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__31); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__32 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__32(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__32); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__33 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__33(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__33); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__34 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__34(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__34); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__35 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__35(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__35); -l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__36 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__36(); -lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564____closed__36); -res = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3564_(lean_io_mk_world()); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__1 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__1(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__1); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__2 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__2(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__2); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__3 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__3(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__3); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__4 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__4(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__4); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__5 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__5(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__5); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__6 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__6(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__6); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__7 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__7(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__7); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__8 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__8(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__8); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__9 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__9(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__9); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__10 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__10(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__10); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__11 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__11(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__11); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__12 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__12(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__12); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__13 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__13(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__13); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__14 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__14(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__14); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__15 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__15(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__15); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__16 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__16(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__16); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__17 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__17(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__17); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__18 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__18(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__18); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__19 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__19(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__19); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__20 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__20(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__20); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__21 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__21(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__21); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__22 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__22(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__22); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__23 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__23(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__23); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__24 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__24(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__24); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__25 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__25(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__25); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__26 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__26(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__26); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__27 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__27(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__27); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__28 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__28(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__28); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__29 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__29(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__29); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__30 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__30(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__30); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__31 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__31(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__31); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__32 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__32(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__32); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__33 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__33(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__33); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__34 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__34(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__34); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__35 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__35(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__35); +l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__36 = _init_l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__36(); +lean_mark_persistent(l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580____closed__36); +res = l_Lean_Parser_initFn____x40_Lean_Parser_Term___hyg_3580_(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));