From 0c28d4ff4d35e9e045cdb2eecfbb7ddf88539743 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 7 Jun 2022 18:42:16 -0700 Subject: [PATCH] chore: update stage0 --- stage0/src/Lean/Parser/Command.lean | 2 +- stage0/stdlib/Lean/Parser/Command.c | 823 ++++++++++++++++------------ 2 files changed, 463 insertions(+), 362 deletions(-) diff --git a/stage0/src/Lean/Parser/Command.lean b/stage0/src/Lean/Parser/Command.lean index b85e1558d6..dde426e626 100644 --- a/stage0/src/Lean/Parser/Command.lean +++ b/stage0/src/Lean/Parser/Command.lean @@ -60,7 +60,7 @@ def optDeclSig := leading_parser many (ppSpace >> (Term.simpleBinderWithou def declValSimple := leading_parser " :=" >> ppHardLineUnlessUngrouped >> termParser >> optional Term.whereDecls def declValEqns := leading_parser Term.matchAltsWhereDecls def whereStructField := leading_parser Term.letDecl -def whereStructInst := leading_parser " where" >> many1Indent (ppLine >> ppGroup (group (whereStructField >> optional ";"))) +def whereStructInst := leading_parser " where" >> many1Indent (ppLine >> ppGroup (group (whereStructField >> optional ";"))) >> optional Term.whereDecls /- Remark: we should not use `Term.whereDecls` at `declVal` because `Term.whereDecls` is defined using `Term.letRecDecl` which may contain attributes. Issue #753 showns an example that fails to be parsed when we used `Term.whereDecls`. diff --git a/stage0/stdlib/Lean/Parser/Command.c b/stage0/stdlib/Lean/Parser/Command.c index e765f27900..cd34c717b6 100644 --- a/stage0/stdlib/Lean/Parser/Command.c +++ b/stage0/stdlib/Lean/Parser/Command.c @@ -13,11 +13,9 @@ #ifdef __cplusplus extern "C" { #endif -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__15; static lean_object* l_Lean_Parser_Command_moduleDoc_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Command_noncomputableSection_formatter___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Command_deriving_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__18; static lean_object* l_Lean_Parser_Command_structFields___elambda__1___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Command_genInjectiveTheorems_declRange___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Command_check_declRange___closed__6; @@ -32,7 +30,6 @@ static lean_object* l_Lean_Parser_Command_initialize___elambda__1___closed__23; LEAN_EXPORT lean_object* l_Lean_Parser_Command_eraseAttr; static lean_object* l___regBuiltin_Lean_Parser_Command_structure_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_declModifiers_formatter___closed__22; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__30; static lean_object* l_Lean_Parser_Command_check_formatter___closed__2; static lean_object* l_Lean_Parser_Command_mutual___elambda__1___closed__8; static lean_object* l_Lean_Parser_Command_quot___elambda__1___closed__12; @@ -173,6 +170,7 @@ static lean_object* l_Lean_Parser_Command_structCtor_formatter___closed__1; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_structCtor_formatter(lean_object*); static lean_object* l_Lean_Parser_Tactic_set__option___closed__1; static lean_object* l_Lean_Parser_Command_namedPrio___elambda__1___closed__13; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__17; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Term_precheckedQuot_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Term_quot___elambda__1___closed__7; LEAN_EXPORT lean_object* l_Lean_Parser_Command_exit___elambda__1(lean_object*, lean_object*); @@ -217,6 +215,7 @@ static lean_object* l_Lean_Parser_Command_namedPrio_parenthesizer___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Command_optDefDeriving_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_inductive_parenthesizer___closed__10; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_section(lean_object*); +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__8; static lean_object* l_Lean_Parser_Command_structInstBinder___elambda__1___closed__6; static lean_object* l_Lean_Parser_Command_declModifiers_formatter___closed__15; LEAN_EXPORT lean_object* l_Lean_Parser_Command_inductive___elambda__1(lean_object*, lean_object*); @@ -315,7 +314,6 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Command_noncomputable; static lean_object* l_Lean_Parser_Command_initialize___elambda__1___closed__13; static lean_object* l_Lean_Parser_Command_theorem___elambda__1___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Command_open_formatter___closed__2; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__6; static lean_object* l_Lean_Parser_Command_builtin__initialize___closed__6; static lean_object* l_Lean_Parser_Command_deriving_parenthesizer___closed__5; extern lean_object* l_Lean_Parser_leadPrec; @@ -328,6 +326,7 @@ static lean_object* l_Lean_Parser_Term_quot___elambda__1___closed__25; static lean_object* l_Lean_Parser_Command_terminationByCore_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Command_structCtor___closed__4; static lean_object* l_Lean_Parser_Command_decreasingBy___elambda__1___closed__7; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__9; static lean_object* l_Lean_Parser_Command_noncomputableSection___elambda__1___closed__8; static lean_object* l_Lean_Parser_Command_terminationByCore_formatter___closed__5; lean_object* l_Lean_Parser_many(lean_object*); @@ -341,9 +340,7 @@ static lean_object* l_Lean_Parser_Command_deriving___elambda__1___closed__12; lean_object* lean_name_mk_string(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_ctor___elambda__1___closed__15; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_deriving_parenthesizer(lean_object*); -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__32; static lean_object* l_Lean_Parser_Command_resolve__name___elambda__1___closed__1; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__10; static lean_object* l___regBuiltin_Lean_Parser_Command_openRenaming_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_print_formatter___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Command_print_declRange___closed__4; @@ -361,6 +358,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Command_end_parenthesizer(lean_object*, l static lean_object* l_Lean_Parser_Command_optDefDeriving_formatter___closed__3; static lean_object* l_Lean_Parser_Term_set__option___closed__1; static lean_object* l_Lean_Parser_Command_abbrev___closed__10; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__27; static lean_object* l_Lean_Parser_Command_noncomputable___elambda__1___closed__11; static lean_object* l___regBuiltin_Lean_Parser_Command_namespace_declRange___closed__5; static lean_object* l_Lean_Parser_Command_whereStructField___elambda__1___closed__6; @@ -390,6 +388,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Tactic_set__option_declRange___cl LEAN_EXPORT lean_object* l_Lean_Parser_Command_classInductive___elambda__1(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Command_openHiding; static lean_object* l_Lean_Parser_Command_synth___elambda__1___closed__7; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__4; static lean_object* l_Lean_Parser_Term_open___elambda__1___closed__9; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_declaration_declRange(lean_object*); static lean_object* l_Lean_Parser_Command_terminationByCore___elambda__1___closed__3; @@ -400,7 +399,6 @@ static lean_object* l___regBuiltin_Lean_Parser_Command_declValEqns_parenthesizer static lean_object* l___regBuiltin_Lean_Parser_Command_deriving_formatter___closed__2; static lean_object* l_Lean_Parser_Command_decreasingBy___elambda__1___closed__10; static lean_object* l_Lean_Parser_Command_optDeclSig___elambda__1___closed__5; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__3; static lean_object* l_Lean_Parser_Command_ctor___elambda__1___closed__5; lean_object* l_Lean_Parser_sepBy1_parenthesizer(lean_object*, lean_object*, lean_object*, uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_axiom_parenthesizer___closed__3; @@ -458,6 +456,7 @@ static lean_object* l_Lean_Parser_Command_openScoped___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Command_openOnly; static lean_object* l___regBuiltin_Lean_Parser_Command_reduce_declRange___closed__1; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_openOnly_formatter(lean_object*); +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_print_parenthesizer(lean_object*); lean_object* l_Lean_PrettyPrinter_Parenthesizer_orelse_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_noncomputableSection___elambda__1___closed__9; @@ -514,7 +513,6 @@ lean_object* l_Lean_Parser_group_formatter(lean_object*, lean_object*, lean_obje LEAN_EXPORT lean_object* l_Lean_Parser_Command_declaration_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_structImplicitBinder_formatter(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Command_protected_parenthesizer___closed__2; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__5; static lean_object* l_Lean_Parser_Command_extends___elambda__1___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Command_namedPrio_parenthesizer___closed__1; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_nonrec_formatter(lean_object*); @@ -543,7 +541,6 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Command_decreasingBy___elambda__1(lean_ob static lean_object* l_Lean_Parser_Command_exit___closed__1; static lean_object* l_Lean_Parser_Command_ctor_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_structure_formatter___closed__17; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__14; static lean_object* l___regBuiltin_Lean_Parser_Term_open_declRange___closed__2; static lean_object* l_Lean_Parser_Command_structSimpleBinder_formatter___closed__6; static lean_object* l_Lean_Parser_Command_export___elambda__1___closed__18; @@ -669,6 +666,7 @@ static lean_object* l_Lean_Parser_Command_def___elambda__1___closed__14; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_quot_declRange(lean_object*); static lean_object* l_Lean_Parser_Command_theorem___closed__5; static lean_object* l___regBuiltin_Lean_Parser_Command_in_formatter___closed__1; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__33; static lean_object* l___regBuiltin_Lean_Parser_Command_variable_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_structImplicitBinder_formatter___closed__7; static lean_object* l_Lean_Parser_Command_terminationHint1___elambda__1___closed__4; @@ -748,6 +746,7 @@ static lean_object* l_Lean_Parser_Command_structure___closed__2; lean_object* l_Lean_Parser_priorityParser_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_declaration___elambda__1___closed__2; static lean_object* l_Lean_Parser_Command_structFields___closed__4; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__23; static lean_object* l_Lean_Parser_Command_set__option___elambda__1___closed__3; static lean_object* l_Lean_Parser_Command_structSimpleBinder___closed__4; static lean_object* l_Lean_Parser_Command_structImplicitBinder___elambda__1___closed__14; @@ -775,6 +774,7 @@ static lean_object* l_Lean_Parser_Command_resolve__name_parenthesizer___closed__ LEAN_EXPORT lean_object* l_Lean_Parser_Command_reduce___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_namedPrio___closed__5; static lean_object* l_Lean_Parser_Command_classInductive___elambda__1___closed__5; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__13; static lean_object* l_Lean_Parser_Command_exit___elambda__1___closed__9; static lean_object* l_Lean_Parser_Command_declValEqns_formatter___closed__3; static lean_object* l_Lean_Parser_Command_structExplicitBinder___elambda__1___closed__3; @@ -816,7 +816,6 @@ static lean_object* l_Lean_Parser_Command_unsafe_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Command_variable_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_noncomputable___elambda__1___closed__10; static lean_object* l_Lean_Parser_Command_eraseAttr___elambda__1___closed__9; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_noncomputableSection_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Command_structExplicitBinder_parenthesizer___closed__13; static lean_object* l___regBuiltin_Lean_Parser_Command_initialize_declRange___closed__5; @@ -930,12 +929,14 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Command_visibility_parenthesizer(lean_obj static lean_object* l_Lean_Parser_Command_whereStructInst___elambda__1___closed__16; static lean_object* l_Lean_Parser_Command_whereStructInst___elambda__1___closed__7; static lean_object* l_Lean_Parser_Command_eraseAttr_parenthesizer___closed__5; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__38; static lean_object* l_Lean_Parser_Command_reduce___elambda__1___closed__11; lean_object* l_Lean_Parser_Term_attrInstance_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_exit___closed__6; static lean_object* l_Lean_Parser_Command_builtin__initialize_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Command_terminationHintMany_formatter___closed__2; static lean_object* l_Lean_Parser_Command_eval_parenthesizer___closed__4; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__21; static lean_object* l_Lean_Parser_Command_derivingClasses___closed__12; static lean_object* l_Lean_Parser_Command_print___elambda__1___closed__2; static lean_object* l_Lean_Parser_Command_structure___elambda__1___closed__10; @@ -968,7 +969,6 @@ static lean_object* l_Lean_Parser_Command_attribute___closed__12; static lean_object* l_Lean_Parser_Command_export___elambda__1___closed__1; lean_object* l_Lean_Parser_Tactic_tacticSeq___elambda__1(lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Command_axiom_formatter___closed__2; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__37; LEAN_EXPORT lean_object* l_Lean_Parser_Command_synth_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_whereStructField___closed__4; static lean_object* l_Lean_Parser_Command_synth___closed__7; @@ -1018,7 +1018,6 @@ lean_object* l_Lean_Parser_sepBy1_formatter(lean_object*, lean_object*, lean_obj static lean_object* l_Lean_Parser_Command_terminationByElement_formatter___closed__5; static lean_object* l_Lean_Parser_Command_moduleDoc_parenthesizer___closed__8; LEAN_EXPORT lean_object* l_Lean_Parser_Command_initialize_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__25; lean_object* l_Lean_PrettyPrinter_Parenthesizer_skip_parenthesizer___boxed(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_optDefDeriving___closed__12; static lean_object* l_Lean_Parser_Command_structExplicitBinder___elambda__1___closed__8; @@ -1074,7 +1073,6 @@ static lean_object* l_Lean_Parser_Command_structFields___elambda__1___closed__1; static lean_object* l_Lean_Parser_Command_genInjectiveTheorems___elambda__1___closed__13; static lean_object* l_Lean_Parser_Command_reduce___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Command_resolve__name___elambda__1(lean_object*, lean_object*); -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__29; static lean_object* l_Lean_Parser_Term_set__option_formatter___closed__6; static lean_object* l_Lean_Parser_Command_terminationHintMany___closed__14; lean_object* l_Lean_Parser_Term_matchAltsWhereDecls_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -1181,6 +1179,7 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_deriving(lean_object static lean_object* l_Lean_Parser_Command_declSig_parenthesizer___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Command_namedPrio_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Command_deriving_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__34; static lean_object* l___regBuiltin_Lean_Parser_Command_section_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_openSimple___elambda__1___closed__9; static lean_object* l_Lean_Parser_Command_declModifiers___elambda__2___closed__20; @@ -1231,17 +1230,16 @@ static lean_object* l___regBuiltin_Lean_Parser_Command_def_formatter___closed__2 static lean_object* l_Lean_Parser_Command_deriving___closed__6; static lean_object* l_Lean_Parser_Command_mutual___closed__6; static lean_object* l_Lean_Parser_Command_private___closed__5; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__37; static lean_object* l_Lean_Parser_Command_export_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Command_initialize___elambda__1___closed__5; static lean_object* l_Lean_Parser_Command_namedPrio_formatter___closed__2; static lean_object* l_Lean_Parser_Command_whereStructField_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_initialize___elambda__1___closed__3; lean_object* l_Lean_Parser_checkPrecFn(lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__21; LEAN_EXPORT lean_object* l_Lean_Parser_Command_genInjectiveTheorems; static lean_object* l_Lean_Parser_Command_resolve__name___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_precheckedQuot_parenthesizer___closed__1; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__38; lean_object* l_Lean_Parser_Command_docComment_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_declValSimple_parenthesizer___closed__8; lean_object* l_Lean_PrettyPrinter_Parenthesizer_atomic_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -1340,6 +1338,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Command_eraseAttr___elambda__1(lean_objec static lean_object* l_Lean_Parser_Command_reduce___closed__5; static lean_object* l_Lean_Parser_Command_declValSimple_formatter___closed__6; LEAN_EXPORT lean_object* l_Lean_Parser_Command_private_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__25; static lean_object* l_Lean_Parser_Command_classInductive_formatter___closed__6; static lean_object* l_Lean_Parser_Command_noncomputable___closed__7; static lean_object* l_Lean_Parser_Command_attribute_formatter___closed__2; @@ -1450,6 +1449,7 @@ static lean_object* l_Lean_Parser_Command_deriving___elambda__1___closed__16; static lean_object* l_Lean_Parser_Command_namedPrio___elambda__1___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Tactic_open_declRange___closed__4; static lean_object* l_Lean_Parser_Command_openHiding___elambda__1___closed__3; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__29; extern lean_object* l_Lean_PrettyPrinter_parenthesizerAttribute; static lean_object* l___regBuiltin_Lean_Parser_Command_noncomputableSection_parenthesizer___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Command_noncomputable___elambda__1(lean_object*, lean_object*); @@ -1486,7 +1486,6 @@ static lean_object* l_Lean_Parser_Command_namedPrio___elambda__1___closed__3; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_synth_formatter(lean_object*); extern lean_object* l_Lean_Parser_Term_binderDefault; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_example_parenthesizer(lean_object*); -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__34; static lean_object* l___regBuiltin_Lean_Parser_Term_quot_formatter___closed__3; static lean_object* l_Lean_Parser_Command_optDeriving_formatter___closed__3; static lean_object* l_Lean_Parser_Command_structExplicitBinder___elambda__1___closed__4; @@ -1496,7 +1495,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Command_terminationByCore_parenthesizer(l static lean_object* l_Lean_Parser_Command_structFields_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Command_openSimple_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_decreasingBy_formatter___closed__2; -LEAN_EXPORT lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421_(lean_object*); +LEAN_EXPORT lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425_(lean_object*); static lean_object* l_Lean_Parser_Command_reduce___elambda__1___closed__8; static lean_object* l_Lean_Parser_Command_initialize___closed__4; static lean_object* l_Lean_Parser_Command_def___elambda__1___closed__4; @@ -1534,6 +1533,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Command_open_declRange___closed__ static lean_object* l_Lean_Parser_Command_moduleDoc___elambda__1___closed__3; static lean_object* l_Lean_Parser_Command_terminationBy___closed__1; static lean_object* l_Lean_Parser_Command_declModifiers___elambda__2___closed__3; +static lean_object* l_Lean_Parser_Command_whereStructInst___closed__9; static lean_object* l_Lean_Parser_Command_genInjectiveTheorems___elambda__1___closed__5; LEAN_EXPORT lean_object* l_Lean_Parser_Command_optNamedPrio_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_printAxioms_declRange(lean_object*); @@ -1586,7 +1586,6 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Command_declValEqns_formatter(lean_object static lean_object* l___regBuiltin_Lean_Parser_Command_open_declRange___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Command_mutual_declRange___closed__2; static lean_object* l_Lean_Parser_Command_optDeclSig_formatter___closed__3; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__23; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_declValSimple_formatter(lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Command_terminationByCore___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_classInductive_formatter___closed__8; @@ -1625,6 +1624,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Command_namedPrio_parenthesizer__ LEAN_EXPORT lean_object* l_Lean_Parser_Command_in___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_set__option___closed__10; static lean_object* l_Lean_Parser_Command_unsafe___elambda__1___closed__10; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__22; static lean_object* l_Lean_Parser_Command_declModifiers___elambda__2___closed__18; static lean_object* l_Lean_Parser_Term_precheckedQuot_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Command_whereStructField_formatter___closed__2; @@ -1658,7 +1658,6 @@ static lean_object* l_Lean_Parser_Term_precheckedQuot___elambda__1___closed__1; static lean_object* l_Lean_Parser_Command_example_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Command_structFields___elambda__1___closed__23; static lean_object* l_Lean_Parser_Command_classInductive___closed__5; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__33; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_print_declRange(lean_object*); static lean_object* l_Lean_Parser_Tactic_set__option_parenthesizer___closed__2; static lean_object* l___regBuiltin_Lean_Parser_Command_builtin__initialize_declRange___closed__5; @@ -1699,7 +1698,6 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Command_quot___elambda__1(lean_object*, l static lean_object* l___regBuiltin_Lean_Parser_Command_quot_declRange___closed__7; static lean_object* l_Lean_Parser_Command_declModifiers___closed__5; static lean_object* l_Lean_Parser_Command_structureTk___closed__1; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__13; static lean_object* l_Lean_Parser_Command_attribute_formatter___closed__1; static lean_object* l_Lean_Parser_Command_moduleDoc___elambda__1___closed__14; static lean_object* l_Lean_Parser_Command_optDeriving_formatter___closed__4; @@ -1821,7 +1819,6 @@ lean_object* l_Lean_Parser_notSymbol_formatter___boxed(lean_object*, lean_object static lean_object* l_Lean_Parser_Command_universe___elambda__1___closed__5; static lean_object* l_Lean_Parser_Command_variable___closed__8; lean_object* l_Lean_Parser_Term_doSeqBracketed___elambda__1(lean_object*, lean_object*); -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__27; static lean_object* l___regBuiltin_Lean_Parser_Command_private_formatter___closed__2; lean_object* l_Lean_Parser_Term_whereDecls_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_mutual_formatter___closed__5; @@ -1839,7 +1836,6 @@ static lean_object* l_Lean_Parser_Command_attribute___elambda__1___closed__11; static lean_object* l_Lean_Parser_Command_protected___closed__4; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_printAxioms(lean_object*); static lean_object* l_Lean_Parser_Command_check__failure___closed__8; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__9; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_private_formatter(lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Command_end_declRange___closed__7; LEAN_EXPORT lean_object* l_Lean_Parser_Tactic_set__option_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -1874,7 +1870,6 @@ static lean_object* l_Lean_Parser_Command_initialize___elambda__1___closed__6; static lean_object* l_Lean_Parser_Tactic_open_formatter___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Command_structExplicitBinder; static lean_object* l_Lean_Parser_Command_structExplicitBinder_parenthesizer___closed__3; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__31; static lean_object* l_Lean_Parser_Command_genInjectiveTheorems___elambda__1___closed__1; static lean_object* l_Lean_Parser_Command_ctor___elambda__1___closed__13; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_reduce_parenthesizer(lean_object*); @@ -1893,6 +1888,7 @@ static lean_object* l_Lean_Parser_Command_inductive_formatter___closed__2; static lean_object* l_Lean_Parser_Command_optDeclSig___elambda__1___closed__3; static lean_object* l_Lean_Parser_Command_check__failure___closed__4; static lean_object* l_Lean_Parser_Command_print___closed__5; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__3; static lean_object* l_Lean_Parser_Command_in___elambda__1___closed__5; static lean_object* l_Lean_Parser_Tactic_set__option___closed__5; LEAN_EXPORT lean_object* l_Lean_Parser_Command_genInjectiveTheorems_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -1996,6 +1992,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Term_open_parenthesizer___closed_ static lean_object* l_Lean_Parser_Command_namespace___elambda__1___closed__2; static lean_object* l_Lean_Parser_Command_section___elambda__1___closed__3; static lean_object* l_Lean_Parser_Command_export_parenthesizer___closed__3; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__14; static lean_object* l_Lean_Parser_Command_attribute_formatter___closed__9; static lean_object* l___regBuiltin_Lean_Parser_Command_universe_declRange___closed__3; static lean_object* l_Lean_Parser_Command_nonrec___elambda__1___closed__3; @@ -2012,6 +2009,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Command_genInjectiveTheorems_decl static lean_object* l_Lean_Parser_Command_optDeriving___elambda__1___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Command_check_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_end___closed__3; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__28; static lean_object* l_Lean_Parser_Command_openScoped___elambda__1___closed__8; static lean_object* l_Lean_Parser_Command_structImplicitBinder___elambda__1___closed__10; static lean_object* l_Lean_Parser_Command_noncomputableSection_formatter___closed__4; @@ -2060,6 +2058,7 @@ static lean_object* l_Lean_Parser_Command_declModifiers___closed__3; static lean_object* l_Lean_Parser_Command_optDefDeriving___closed__7; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_printAxioms_parenthesizer(lean_object*); static lean_object* l_Lean_Parser_Command_end___closed__7; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__5; LEAN_EXPORT lean_object* l_Lean_Parser_Command_whereStructField; LEAN_EXPORT lean_object* l_Lean_Parser_Command_end_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Command_optDefDeriving_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -2068,6 +2067,7 @@ static lean_object* l_Lean_Parser_Command_classInductive___closed__1; LEAN_EXPORT lean_object* l_Lean_Parser_Command_exit_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_deriving_declRange(lean_object*); static lean_object* l_Lean_Parser_Command_openSimple___elambda__1___closed__6; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__30; static lean_object* l_Lean_Parser_Term_open___elambda__1___closed__11; extern lean_object* l_Lean_Parser_Term_whereDecls; static lean_object* l_Lean_Parser_Command_structureTk___elambda__1___closed__6; @@ -2111,6 +2111,7 @@ static lean_object* l_Lean_Parser_Command_in___elambda__1___closed__6; static lean_object* l___regBuiltin_Lean_Parser_Command_exit_parenthesizer___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Command_terminationHintMany_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Command_openScoped_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__18; LEAN_EXPORT lean_object* l_Lean_Parser_Command_variable___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_quot_formatter___closed__3; extern lean_object* l_Lean_Parser_parserAliasesRef; @@ -2123,6 +2124,7 @@ lean_object* l_Lean_Parser_termParser_formatter___rarg(lean_object*, lean_object static lean_object* l_Lean_Parser_Command_structCtor___closed__2; static lean_object* l_Lean_Parser_Command_example_formatter___closed__4; static lean_object* l_Lean_Parser_Command_init__quot___closed__7; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__15; static lean_object* l_Lean_Parser_Command_set__option___elambda__1___closed__5; static lean_object* l_Lean_Parser_Command_openOnly_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_terminationSuffix_formatter___closed__1; @@ -2163,7 +2165,6 @@ static lean_object* l_Lean_Parser_Command_unsafe___elambda__1___closed__7; static lean_object* l_Lean_Parser_Command_noncomputableSection___elambda__1___closed__15; static lean_object* l_Lean_Parser_Command_structFields_formatter___closed__7; static lean_object* l_Lean_Parser_Command_openRenaming___closed__5; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__4; static lean_object* l_Lean_Parser_Command_noncomputable_parenthesizer___closed__3; static lean_object* l___regBuiltin_Lean_Parser_Command_check_declRange___closed__7; extern lean_object* l_Lean_Parser_Term_attributes; @@ -2232,7 +2233,6 @@ static lean_object* l_Lean_Parser_Command_inductive_formatter___closed__4; static lean_object* l_Lean_Parser_Command_classInductive_formatter___closed__7; extern lean_object* l_Lean_Parser_rawIdent; static lean_object* l_Lean_Parser_Command_openScoped___closed__8; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__8; static lean_object* l_Lean_Parser_Command_set__option___closed__5; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_structSimpleBinder_formatter(lean_object*); static lean_object* l_Lean_Parser_Command_initialize___closed__5; @@ -2256,7 +2256,6 @@ static lean_object* l___regBuiltin_Lean_Parser_Command_exit_declRange___closed__ static lean_object* l_Lean_Parser_Command_print___elambda__1___closed__12; lean_object* l_Lean_addBuiltinDeclarationRanges(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Command_partial_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__17; static lean_object* l_Lean_Parser_Command_structImplicitBinder___closed__3; static lean_object* l_Lean_Parser_Command_axiom_formatter___closed__3; static lean_object* l_Lean_Parser_Term_open_parenthesizer___closed__3; @@ -2276,6 +2275,7 @@ static lean_object* l_Lean_Parser_Command_open___closed__7; static lean_object* l_Lean_Parser_Command_structCtor___closed__1; static lean_object* l_Lean_Parser_Command_abbrev_formatter___closed__7; static lean_object* l_Lean_Parser_Command_open_formatter___closed__5; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__6; static lean_object* l___regBuiltin_Lean_Parser_Tactic_open_declRange___closed__1; static lean_object* l_Lean_Parser_Term_quot___elambda__1___closed__11; static lean_object* l_Lean_Parser_Command_openRenaming_parenthesizer___closed__7; @@ -2471,6 +2471,7 @@ LEAN_EXPORT lean_object* l_Lean_Parser_Command_moduleDoc_formatter(lean_object*, static lean_object* l_Lean_Parser_Command_declaration___closed__9; static lean_object* l_Lean_Parser_Command_declModifiers___closed__7; static lean_object* l_Lean_Parser_Command_moduleDoc___elambda__1___closed__6; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__16; static lean_object* l___regBuiltin_Lean_Parser_Command_end_declRange___closed__2; static lean_object* l_Lean_Parser_Tactic_open_formatter___closed__3; static lean_object* l_Lean_Parser_Command_set__option___closed__3; @@ -2542,6 +2543,7 @@ static lean_object* l_Lean_Parser_Command_example___elambda__1___closed__11; static lean_object* l_Lean_Parser_Command_ctor_formatter___closed__4; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_partial_formatter(lean_object*); static lean_object* l_Lean_Parser_Command_genInjectiveTheorems___closed__5; +static lean_object* l_Lean_Parser_Command_whereStructInst___elambda__1___closed__25; LEAN_EXPORT lean_object* l_Lean_Parser_Command_eraseAttr_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Command_printAxioms_formatter___closed__1; static lean_object* l_Lean_Parser_Command_set__option_formatter___closed__3; @@ -2588,6 +2590,7 @@ static lean_object* l_Lean_Parser_Command_abbrev___closed__8; static lean_object* l_Lean_Parser_Command_inductive___elambda__1___closed__1; static lean_object* l_Lean_Parser_Command_initialize_formatter___closed__3; static lean_object* l_Lean_Parser_Command_exit_formatter___closed__1; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__24; static lean_object* l_Lean_Parser_Term_open___closed__9; static lean_object* l_Lean_Parser_Command_open___elambda__1___closed__8; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_exit_parenthesizer(lean_object*); @@ -2665,7 +2668,6 @@ LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_init__quot(lean_obje static lean_object* l_Lean_Parser_Command_eraseAttr___closed__5; LEAN_EXPORT lean_object* l_Lean_Parser_Command_declSig_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_open___elambda__1___closed__7; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__1; static lean_object* l_Lean_Parser_Command_open___elambda__1___closed__1; static lean_object* l_Lean_Parser_Command_openRenaming___elambda__1___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Command_moduleDoc_parenthesizer___closed__2; @@ -2729,6 +2731,7 @@ static lean_object* l_Lean_Parser_Command_structExplicitBinder_parenthesizer___c lean_object* l_Lean_PrettyPrinter_Formatter_withPosition_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Tactic_open_parenthesizer___closed__2; LEAN_EXPORT lean_object* l_Lean_Parser_Command_terminationHint(lean_object*); +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__10; lean_object* l_Lean_Parser_withResultOfFn(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_genInjectiveTheorems___elambda__1___closed__4; static lean_object* l___regBuiltin_Lean_Parser_Tactic_set__option_declRange___closed__7; @@ -2747,6 +2750,7 @@ static lean_object* l_Lean_Parser_Command_declModifiers_formatter___closed__19; static lean_object* l_Lean_Parser_Command_eraseAttr_formatter___closed__4; static lean_object* l_Lean_Parser_Command_declValEqns___elambda__1___closed__1; static lean_object* l_Lean_Parser_Command_eraseAttr___closed__2; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__32; static lean_object* l___regBuiltin_Lean_Parser_Command_structSimpleBinder_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_namedPrio___closed__12; static lean_object* l_Lean_Parser_Command_noncomputable___closed__3; @@ -2777,6 +2781,7 @@ static lean_object* l_Lean_Parser_Command_decreasingBy___elambda__1___closed__4; static lean_object* l_Lean_Parser_Command_structInstBinder___closed__1; static lean_object* l_Lean_Parser_Command_terminationByCore___elambda__1___closed__8; static lean_object* l_Lean_Parser_Command_terminationByElement_formatter___closed__9; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__20; static lean_object* l_Lean_Parser_Command_mutual_parenthesizer___closed__13; static lean_object* l_Lean_Parser_Command_mutual___closed__10; static lean_object* l_Lean_Parser_Command_structureTk___elambda__1___closed__12; @@ -2835,7 +2840,6 @@ static lean_object* l_Lean_Parser_Command_axiom___elambda__1___closed__8; static lean_object* l_Lean_Parser_Command_inductive___closed__4; static lean_object* l_Lean_Parser_Command_export_formatter___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Command_structCtor_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__19; static lean_object* l_Lean_Parser_Command_printAxioms_formatter___closed__4; static lean_object* l_Lean_Parser_Command_terminationByElement_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Command_terminationByElement___closed__1; @@ -2888,7 +2892,6 @@ static lean_object* l_Lean_Parser_Command_nonrec___elambda__1___closed__10; LEAN_EXPORT lean_object* l_Lean_Parser_Command_structureTk_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_quot___elambda__1___closed__13; static lean_object* l___regBuiltin_Lean_Parser_Command_eval_formatter___closed__1; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__11; static lean_object* l_Lean_Parser_Command_declModifiers___elambda__2___closed__7; static lean_object* l_Lean_Parser_Command_def___elambda__1___closed__10; static lean_object* l_Lean_Parser_Command_mutual___elambda__1___closed__18; @@ -2975,7 +2978,6 @@ uint8_t lean_uint32_dec_eq(uint32_t, uint32_t); static lean_object* l_Lean_Parser_Command_reduce_formatter___closed__1; static lean_object* l_Lean_Parser_Command_terminationByElement___closed__5; static lean_object* l_Lean_Parser_Command_builtin__initialize_formatter___closed__2; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__12; static lean_object* l_Lean_Parser_Command_constant___elambda__1___closed__15; static lean_object* l___regBuiltin_Lean_Parser_Command_moduleDoc_formatter___closed__1; static lean_object* l_Lean_Parser_Tactic_set__option_parenthesizer___closed__4; @@ -3074,7 +3076,6 @@ static lean_object* l___regBuiltin_Lean_Parser_Command_check__failure_declRange_ static lean_object* l___regBuiltin_Lean_Parser_Command_unsafe_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_declValSimple_parenthesizer___closed__7; static lean_object* l_Lean_Parser_Command_open_formatter___closed__6; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__20; static lean_object* l_Lean_Parser_Command_declModifiers___elambda__2___closed__24; static lean_object* l___regBuiltin_Lean_Parser_Command_openHiding_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_inductive_parenthesizer___closed__7; @@ -3319,13 +3320,11 @@ static lean_object* l_Lean_Parser_Command_def___elambda__1___closed__13; static lean_object* l_Lean_Parser_Term_open_formatter___closed__4; static lean_object* l_Lean_Parser_Command_ctor___elambda__1___closed__12; static lean_object* l_Lean_Parser_Command_declId___elambda__1___closed__13; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__36; LEAN_EXPORT lean_object* l_Lean_Parser_Command_declSig_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Tactic_open_formatter___closed__6; static lean_object* l_Lean_Parser_Command_resolve__name___closed__8; static lean_object* l___regBuiltin_Lean_Parser_Command_declaration_declRange___closed__6; lean_object* l_Lean_PrettyPrinter_Formatter_incQuotDepth_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__35; static lean_object* l___regBuiltin_Lean_Parser_Command_print_declRange___closed__3; static lean_object* l_Lean_Parser_Command_declSig___closed__7; static lean_object* l_Lean_Parser_Command_optDefDeriving_formatter___closed__4; @@ -3349,7 +3348,6 @@ static lean_object* l_Lean_Parser_Command_openOnly___elambda__1___closed__3; static lean_object* l_Lean_Parser_Command_terminationByElement___elambda__1___closed__8; static lean_object* l_Lean_Parser_Command_check__failure___elambda__1___closed__8; LEAN_EXPORT lean_object* l_Lean_Parser_Command_declModifiersF_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__26; static lean_object* l_Lean_Parser_Command_structInstBinder___elambda__1___closed__1; static lean_object* l_Lean_Parser_Command_protected___elambda__1___closed__4; LEAN_EXPORT lean_object* l_Lean_Parser_Command_declId_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -3466,6 +3464,7 @@ static lean_object* l_Lean_Parser_Command_whereStructInst_parenthesizer___closed lean_object* l_Lean_Parser_Term_letDecl___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_deriving_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_declValSimple___closed__8; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__7; static lean_object* l_Lean_Parser_Command_whereStructInst___elambda__1___closed__1; static lean_object* l_Lean_Parser_Command_openDecl___elambda__1___closed__3; static lean_object* l_Lean_Parser_Command_noncomputable___elambda__1___closed__9; @@ -3520,6 +3519,7 @@ static lean_object* l_Lean_Parser_Command_printAxioms___elambda__1___closed__9; static lean_object* l_Lean_Parser_Term_quot_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Command_open_parenthesizer___closed__4; static lean_object* l_Lean_Parser_Command_structSimpleBinder___elambda__1___closed__6; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__35; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_declaration_formatter(lean_object*); static lean_object* l_Lean_Parser_Command_nonrec___closed__1; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_instance_formatter(lean_object*); @@ -3614,6 +3614,7 @@ static lean_object* l_Lean_Parser_Command_openRenamingItem___elambda__1___lambda static lean_object* l___regBuiltin_Lean_Parser_Command_declValSimple_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_openRenamingItem___closed__9; static lean_object* l_Lean_Parser_Command_openHiding___elambda__1___closed__19; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__36; static lean_object* l_Lean_Parser_Command_terminationByCore___closed__4; static lean_object* l_Lean_Parser_Command_namedPrio_parenthesizer___closed__5; static lean_object* l_Lean_Parser_Command_universe_formatter___closed__3; @@ -3653,6 +3654,7 @@ static lean_object* l_Lean_Parser_Command_structureTk___closed__3; static lean_object* l_Lean_Parser_Command_variable_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Command_open_declRange___closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_openHiding_parenthesizer(lean_object*); +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__26; static lean_object* l_Lean_Parser_Command_noncomputableSection___elambda__1___closed__11; static lean_object* l_Lean_Parser_Command_terminationBy_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_declModifiers_formatter___closed__2; @@ -3833,6 +3835,7 @@ static lean_object* l_Lean_Parser_Command_resolve__name___elambda__1___closed__1 static lean_object* l_Lean_Parser_Command_unsafe___elambda__1___closed__1; static lean_object* l_Lean_Parser_Command_structInstBinder___elambda__1___closed__16; static lean_object* l_Lean_Parser_Command_declValSimple_parenthesizer___closed__9; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__12; LEAN_EXPORT lean_object* l_Lean_Parser_Command_open_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_classTk___closed__3; static lean_object* l_Lean_Parser_Command_whereStructInst___elambda__1___closed__5; @@ -3890,6 +3893,7 @@ static lean_object* l_Lean_Parser_Command_universe___closed__6; static lean_object* l_Lean_Parser_Command_quot___elambda__1___closed__1; static lean_object* l_Lean_Parser_Command_optDeclSig___closed__7; static lean_object* l_Lean_Parser_Command_attribute___closed__11; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__31; static lean_object* l_Lean_Parser_Command_open_parenthesizer___closed__6; static lean_object* l_Lean_Parser_Command_attribute___elambda__1___closed__8; static lean_object* l_Lean_Parser_Command_declModifiers_formatter___closed__13; @@ -4106,10 +4110,10 @@ static lean_object* l_Lean_Parser_Command_deriving___closed__11; static lean_object* l_Lean_Parser_Command_namespace___elambda__1___closed__10; static lean_object* l_Lean_Parser_Command_def___closed__9; static lean_object* l_Lean_Parser_Command_structureTk___closed__6; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__1; static lean_object* l_Lean_Parser_Command_initialize___elambda__1___closed__26; static lean_object* l___regBuiltin_Lean_Parser_Command_init__quot_declRange___closed__2; lean_object* l_Lean_Parser_Term_binderDefault_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__16; static lean_object* l_Lean_Parser_Command_openHiding_parenthesizer___closed__7; static lean_object* l_Lean_Parser_Command_openScoped___elambda__1___closed__13; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_eval_formatter(lean_object*); @@ -4173,7 +4177,6 @@ static lean_object* l_Lean_Parser_Command_mutual___elambda__1___closed__15; static lean_object* l_Lean_Parser_Command_declId___elambda__1___closed__15; LEAN_EXPORT lean_object* l_Lean_Parser_Command_whereStructInst___elambda__1(lean_object*, lean_object*); static lean_object* l_Lean_Parser_Term_precheckedQuot___elambda__1___closed__9; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__22; static lean_object* l_Lean_Parser_Command_extends___closed__6; static lean_object* l_Lean_Parser_Command_namedPrio_formatter___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Term_precheckedQuot_formatter___closed__2; @@ -4255,6 +4258,7 @@ static lean_object* l_Lean_Parser_Tactic_open___elambda__1___closed__11; static lean_object* l_Lean_Parser_Command_extends_parenthesizer___closed__5; LEAN_EXPORT lean_object* l_Lean_Parser_Term_set__option_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_unsafe___elambda__1___closed__8; +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__19; static lean_object* l_Lean_Parser_Command_optDefDeriving___closed__4; static lean_object* l_Lean_Parser_Command_synth___elambda__1___closed__8; static lean_object* l_Lean_Parser_Command_openRenamingItem_formatter___closed__4; @@ -4274,7 +4278,6 @@ static lean_object* l_Lean_Parser_Command_protected___elambda__1___closed__11; static lean_object* l_Lean_Parser_Command_structImplicitBinder_parenthesizer___closed__3; static lean_object* l_Lean_Parser_Command_terminationHintMany_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_abbrev___elambda__1___closed__12; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__28; static lean_object* l_Lean_Parser_Command_reduce___elambda__1___closed__10; static lean_object* l_Lean_Parser_Command_initialize_parenthesizer___closed__7; static lean_object* l___regBuiltin_Lean_Parser_Command_exit_declRange___closed__1; @@ -4355,6 +4358,7 @@ static lean_object* l_Lean_Parser_Command_resolve__name___elambda__1___closed__1 static lean_object* l_Lean_Parser_Command_print_parenthesizer___closed__2; static lean_object* l_Lean_Parser_Command_openOnly___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Command_declValSimple_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__11; static lean_object* l_Lean_Parser_Command_structFields___elambda__1___closed__14; static lean_object* l_Lean_Parser_Command_inductive___closed__10; static lean_object* l_Lean_Parser_Command_genInjectiveTheorems___elambda__1___closed__7; @@ -4407,6 +4411,7 @@ static lean_object* l_Lean_Parser_Command_deriving___elambda__1___closed__3; LEAN_EXPORT lean_object* l_Lean_Parser_Term_precheckedQuot_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Lean_Parser_Command_openRenaming_formatter___closed__1; static lean_object* l___regBuiltin_Lean_Parser_Command_reduce_parenthesizer___closed__2; +static lean_object* l_Lean_Parser_Command_whereStructInst_formatter___closed__12; lean_object* l_Lean_Parser_ident_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Parser_Command_optDeriving_formatter(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Parser_Command_declModifiers_formatter___closed__9; @@ -4611,6 +4616,7 @@ static lean_object* l___regBuiltin_Lean_Parser_Command_check_declRange___closed_ static lean_object* l_Lean_Parser_Command_structInstBinder___elambda__1___closed__11; static lean_object* l___regBuiltin_Lean_Parser_Command_constant_parenthesizer___closed__1; static lean_object* l_Lean_Parser_Command_declaration___elambda__1___closed__14; +static lean_object* l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__12; static lean_object* l___regBuiltin_Lean_Parser_Term_open_declRange___closed__6; static lean_object* l_Lean_Parser_Command_constant_parenthesizer___closed__4; LEAN_EXPORT lean_object* l___regBuiltin_Lean_Parser_Command_attribute_parenthesizer(lean_object*); @@ -4692,7 +4698,6 @@ extern lean_object* l_Lean_Parser_Term_ident; static lean_object* l_Lean_Parser_Command_declModifiers_parenthesizer___closed__15; static lean_object* l_Lean_Parser_Command_attribute___elambda__1___closed__5; lean_object* l_Lean_Parser_manyIndent_parenthesizer(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__24; static lean_object* l_Lean_Parser_Tactic_set__option___closed__4; static lean_object* l_Lean_Parser_Term_quot___elambda__1___closed__5; static lean_object* l_Lean_Parser_Term_set__option_parenthesizer___closed__2; @@ -4711,7 +4716,6 @@ static lean_object* l_Lean_Parser_Command_builtin__initialize___closed__8; static lean_object* l_Lean_Parser_Command_noncomputableSection___closed__3; static lean_object* l_Lean_Parser_Command_declModifiers___closed__4; static lean_object* l_Lean_Parser_Command_structure_formatter___closed__3; -static lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__7; static lean_object* l_Lean_Parser_Command_moduleDoc___elambda__1___closed__4; static lean_object* l_Lean_Parser_Command_terminationByElement___elambda__1___closed__5; static lean_object* l_Lean_Parser_Command_instance___elambda__1___closed__6; @@ -16379,22 +16383,24 @@ return x_2; static lean_object* _init_l_Lean_Parser_Command_whereStructInst___elambda__1___closed__19() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__7; -x_2 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__18; -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; +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +x_1 = l_Lean_Parser_Command_declValSimple___elambda__1___closed__8; +x_2 = lean_ctor_get(x_1, 1); +lean_inc(x_2); +x_3 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__18; +x_4 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +lean_closure_set(x_4, 0, x_3); +lean_closure_set(x_4, 1, x_2); +return x_4; } } static lean_object* _init_l_Lean_Parser_Command_whereStructInst___elambda__1___closed__20() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__2; +x_1 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__7; x_2 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__19; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_nodeFn), 4, 2); +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; @@ -16404,9 +16410,9 @@ static lean_object* _init_l_Lean_Parser_Command_whereStructInst___elambda__1___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__20; -x_2 = l_Lean_Parser_Term_quot___elambda__1___closed__21; -x_3 = lean_alloc_closure((void*)(l_Lean_Parser_andthenFn), 4, 2); +x_1 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__2; +x_2 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__20; +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; @@ -16416,8 +16422,8 @@ static lean_object* _init_l_Lean_Parser_Command_whereStructInst___elambda__1___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_quot___elambda__1___closed__20; -x_2 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__21; +x_1 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__21; +x_2 = l_Lean_Parser_Term_quot___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); @@ -16428,9 +16434,11 @@ static lean_object* _init_l_Lean_Parser_Command_whereStructInst___elambda__1___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Term_quot___elambda__1___lambda__1___closed__1; -x_2 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__6; -x_3 = lean_string_append(x_1, x_2); +x_1 = l_Lean_Parser_Term_quot___elambda__1___closed__20; +x_2 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__22; +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; } } @@ -16438,7 +16446,17 @@ static lean_object* _init_l_Lean_Parser_Command_whereStructInst___elambda__1___c _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__23; +x_1 = l_Lean_Parser_Term_quot___elambda__1___lambda__1___closed__1; +x_2 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__6; +x_3 = lean_string_append(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Command_whereStructInst___elambda__1___closed__25() { +_start: +{ +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__24; x_2 = l_Lean_Parser_Term_quot___elambda__1___lambda__1___closed__1; x_3 = lean_string_append(x_1, x_2); return x_3; @@ -16447,157 +16465,195 @@ return x_3; LEAN_EXPORT lean_object* l_Lean_Parser_Command_whereStructInst___elambda__1(lean_object* x_1, lean_object* x_2) { _start: { -lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; uint8_t x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; uint32_t x_14; uint32_t x_15; uint8_t x_16; -x_3 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__4; +lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; lean_object* x_10; lean_object* x_11; uint8_t x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; uint32_t x_16; uint32_t x_17; uint8_t x_18; +x_3 = l_Lean_Parser_Command_declValSimple___elambda__1___closed__8; x_4 = lean_ctor_get(x_3, 1); lean_inc(x_4); -x_5 = lean_ctor_get(x_1, 0); -lean_inc(x_5); -x_6 = lean_ctor_get(x_1, 1); +x_5 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__4; +x_6 = lean_ctor_get(x_5, 1); lean_inc(x_6); -x_7 = lean_ctor_get(x_1, 2); +x_7 = lean_ctor_get(x_1, 0); lean_inc(x_7); -x_8 = lean_ctor_get(x_1, 3); +x_8 = lean_ctor_get(x_1, 1); lean_inc(x_8); -x_9 = lean_ctor_get(x_1, 4); +x_9 = lean_ctor_get(x_1, 2); lean_inc(x_9); -x_10 = lean_ctor_get_uint8(x_1, sizeof(void*)*7); -x_11 = lean_ctor_get(x_1, 6); +x_10 = lean_ctor_get(x_1, 3); +lean_inc(x_10); +x_11 = lean_ctor_get(x_1, 4); lean_inc(x_11); -x_12 = lean_ctor_get(x_5, 0); -lean_inc(x_12); -x_13 = lean_ctor_get(x_2, 2); +x_12 = lean_ctor_get_uint8(x_1, sizeof(void*)*7); +x_13 = lean_ctor_get(x_1, 6); lean_inc(x_13); -x_14 = lean_string_utf8_get(x_12, x_13); +x_14 = lean_ctor_get(x_7, 0); +lean_inc(x_14); +x_15 = lean_ctor_get(x_2, 2); +lean_inc(x_15); +x_16 = lean_string_utf8_get(x_14, x_15); +lean_dec(x_15); +x_17 = 36; +x_18 = lean_uint32_dec_eq(x_16, x_17); +if (x_18 == 0) +{ +lean_object* x_19; lean_object* x_20; lean_object* x_21; lean_object* x_22; uint8_t x_23; +lean_dec(x_6); +x_19 = lean_unsigned_to_nat(1024u); +x_20 = l_Lean_Parser_checkPrecFn(x_19, x_1, x_2); +x_21 = lean_ctor_get(x_20, 4); +lean_inc(x_21); +x_22 = lean_box(0); +x_23 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_822____at_Lean_Parser_ParserState_hasError___spec__1(x_21, x_22); +lean_dec(x_21); +if (x_23 == 0) +{ +lean_dec(x_14); lean_dec(x_13); -x_15 = 36; -x_16 = lean_uint32_dec_eq(x_14, x_15); -if (x_16 == 0) -{ -lean_object* x_17; lean_object* x_18; lean_object* x_19; lean_object* x_20; uint8_t x_21; +lean_dec(x_11); +lean_dec(x_10); +lean_dec(x_9); +lean_dec(x_8); +lean_dec(x_7); lean_dec(x_4); -x_17 = lean_unsigned_to_nat(1024u); -x_18 = l_Lean_Parser_checkPrecFn(x_17, x_1, x_2); -x_19 = lean_ctor_get(x_18, 4); -lean_inc(x_19); -x_20 = lean_box(0); -x_21 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_822____at_Lean_Parser_ParserState_hasError___spec__1(x_19, x_20); -lean_dec(x_19); -if (x_21 == 0) +lean_dec(x_1); +return x_20; +} +else { -lean_dec(x_12); +lean_object* x_24; lean_object* x_25; lean_object* x_26; lean_object* x_27; lean_object* x_28; lean_object* x_29; uint32_t x_30; uint32_t x_31; uint8_t x_32; lean_object* x_33; +x_24 = lean_ctor_get(x_20, 0); +lean_inc(x_24); +x_25 = lean_array_get_size(x_24); +lean_dec(x_24); +x_26 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__6; +x_27 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__25; +lean_inc(x_1); +x_28 = l_Lean_Parser_symbolFnAux(x_26, x_27, x_1, x_20); +x_29 = lean_ctor_get(x_28, 2); +lean_inc(x_29); +x_30 = lean_string_utf8_get(x_14, x_29); +lean_dec(x_29); +lean_dec(x_14); +x_31 = 37; +x_32 = lean_uint32_dec_eq(x_30, x_31); +if (x_32 == 0) +{ +x_33 = x_28; +goto block_60; +} +else +{ +lean_object* x_61; +lean_inc(x_1); +x_61 = l_Lean_Parser_tokenAntiquotFn(x_1, x_28); +x_33 = x_61; +goto block_60; +} +block_60: +{ +lean_object* x_34; uint8_t x_35; +x_34 = lean_ctor_get(x_33, 4); +lean_inc(x_34); +x_35 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_822____at_Lean_Parser_ParserState_hasError___spec__1(x_34, x_22); +lean_dec(x_34); +if (x_35 == 0) +{ +lean_object* x_36; lean_object* x_37; lean_object* x_38; uint8_t x_39; +lean_dec(x_13); lean_dec(x_11); +lean_dec(x_10); lean_dec(x_9); lean_dec(x_8); lean_dec(x_7); -lean_dec(x_6); -lean_dec(x_5); -lean_dec(x_1); -return x_18; -} -else -{ -lean_object* x_22; lean_object* x_23; lean_object* x_24; lean_object* x_25; lean_object* x_26; lean_object* x_27; uint32_t x_28; uint32_t x_29; uint8_t x_30; lean_object* x_31; -x_22 = lean_ctor_get(x_18, 0); -lean_inc(x_22); -x_23 = lean_array_get_size(x_22); -lean_dec(x_22); -x_24 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__6; -x_25 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__24; -lean_inc(x_1); -x_26 = l_Lean_Parser_symbolFnAux(x_24, x_25, x_1, x_18); -x_27 = lean_ctor_get(x_26, 2); -lean_inc(x_27); -x_28 = lean_string_utf8_get(x_12, x_27); -lean_dec(x_27); -lean_dec(x_12); -x_29 = 37; -x_30 = lean_uint32_dec_eq(x_28, x_29); -if (x_30 == 0) -{ -x_31 = x_26; -goto block_50; -} -else -{ -lean_object* x_51; -lean_inc(x_1); -x_51 = l_Lean_Parser_tokenAntiquotFn(x_1, x_26); -x_31 = x_51; -goto block_50; -} -block_50: -{ -lean_object* x_32; uint8_t x_33; -x_32 = lean_ctor_get(x_31, 4); -lean_inc(x_32); -x_33 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_822____at_Lean_Parser_ParserState_hasError___spec__1(x_32, x_20); -lean_dec(x_32); -if (x_33 == 0) -{ -lean_object* x_34; lean_object* x_35; lean_object* x_36; uint8_t x_37; -lean_dec(x_11); -lean_dec(x_9); -lean_dec(x_8); -lean_dec(x_7); -lean_dec(x_6); -lean_dec(x_5); -x_34 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__2; -x_35 = l_Lean_Parser_ParserState_mkNode(x_31, x_34, x_23); -x_36 = lean_ctor_get(x_35, 4); -lean_inc(x_36); -x_37 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_822____at_Lean_Parser_ParserState_hasError___spec__1(x_36, x_20); -lean_dec(x_36); -if (x_37 == 0) +lean_dec(x_4); +x_36 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__2; +x_37 = l_Lean_Parser_ParserState_mkNode(x_33, x_36, x_25); +x_38 = lean_ctor_get(x_37, 4); +lean_inc(x_38); +x_39 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_822____at_Lean_Parser_ParserState_hasError___spec__1(x_38, x_22); +lean_dec(x_38); +if (x_39 == 0) { lean_dec(x_1); -return x_35; +return x_37; } else { -lean_object* x_38; -x_38 = l_Lean_Parser_setLhsPrecFn(x_17, x_1, x_35); +lean_object* x_40; +x_40 = l_Lean_Parser_setLhsPrecFn(x_19, x_1, x_37); lean_dec(x_1); -return x_38; +return x_40; } } else { -lean_object* x_39; lean_object* x_40; lean_object* x_41; lean_object* x_42; lean_object* x_43; lean_object* x_44; lean_object* x_45; lean_object* x_46; lean_object* x_47; uint8_t x_48; -x_39 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__17; -x_40 = lean_ctor_get(x_39, 1); -lean_inc(x_40); -x_41 = lean_ctor_get(x_31, 2); -lean_inc(x_41); -x_42 = lean_alloc_ctor(1, 1, 0); -lean_ctor_set(x_42, 0, x_41); -x_43 = lean_alloc_ctor(0, 7, 1); -lean_ctor_set(x_43, 0, x_5); -lean_ctor_set(x_43, 1, x_6); -lean_ctor_set(x_43, 2, x_7); -lean_ctor_set(x_43, 3, x_8); -lean_ctor_set(x_43, 4, x_9); -lean_ctor_set(x_43, 5, x_42); -lean_ctor_set(x_43, 6, x_11); -lean_ctor_set_uint8(x_43, sizeof(void*)*7, x_10); -x_44 = lean_apply_2(x_40, x_43, x_31); -x_45 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__2; -x_46 = l_Lean_Parser_ParserState_mkNode(x_44, x_45, x_23); +lean_object* x_41; lean_object* x_42; lean_object* x_43; lean_object* x_44; lean_object* x_45; lean_object* x_46; lean_object* x_47; uint8_t x_48; +x_41 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__17; +x_42 = lean_ctor_get(x_41, 1); +lean_inc(x_42); +x_43 = lean_ctor_get(x_33, 2); +lean_inc(x_43); +x_44 = lean_alloc_ctor(1, 1, 0); +lean_ctor_set(x_44, 0, x_43); +x_45 = lean_alloc_ctor(0, 7, 1); +lean_ctor_set(x_45, 0, x_7); +lean_ctor_set(x_45, 1, x_8); +lean_ctor_set(x_45, 2, x_9); +lean_ctor_set(x_45, 3, x_10); +lean_ctor_set(x_45, 4, x_11); +lean_ctor_set(x_45, 5, x_44); +lean_ctor_set(x_45, 6, x_13); +lean_ctor_set_uint8(x_45, sizeof(void*)*7, x_12); +x_46 = lean_apply_2(x_42, x_45, x_33); x_47 = lean_ctor_get(x_46, 4); lean_inc(x_47); -x_48 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_822____at_Lean_Parser_ParserState_hasError___spec__1(x_47, x_20); +x_48 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_822____at_Lean_Parser_ParserState_hasError___spec__1(x_47, x_22); lean_dec(x_47); if (x_48 == 0) { +lean_object* x_49; lean_object* x_50; lean_object* x_51; uint8_t x_52; +lean_dec(x_4); +x_49 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__2; +x_50 = l_Lean_Parser_ParserState_mkNode(x_46, x_49, x_25); +x_51 = lean_ctor_get(x_50, 4); +lean_inc(x_51); +x_52 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_822____at_Lean_Parser_ParserState_hasError___spec__1(x_51, x_22); +lean_dec(x_51); +if (x_52 == 0) +{ lean_dec(x_1); -return x_46; +return x_50; } else { -lean_object* x_49; -x_49 = l_Lean_Parser_setLhsPrecFn(x_17, x_1, x_46); +lean_object* x_53; +x_53 = l_Lean_Parser_setLhsPrecFn(x_19, x_1, x_50); lean_dec(x_1); -return x_49; +return x_53; +} +} +else +{ +lean_object* x_54; lean_object* x_55; lean_object* x_56; lean_object* x_57; uint8_t x_58; +lean_inc(x_1); +x_54 = lean_apply_2(x_4, x_1, x_46); +x_55 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__2; +x_56 = l_Lean_Parser_ParserState_mkNode(x_54, x_55, x_25); +x_57 = lean_ctor_get(x_56, 4); +lean_inc(x_57); +x_58 = l___private_Init_Data_Option_Basic_0__beqOption____x40_Init_Data_Option_Basic___hyg_822____at_Lean_Parser_ParserState_hasError___spec__1(x_57, x_22); +lean_dec(x_57); +if (x_58 == 0) +{ +lean_dec(x_1); +return x_56; +} +else +{ +lean_object* x_59; +x_59 = l_Lean_Parser_setLhsPrecFn(x_19, x_1, x_56); +lean_dec(x_1); +return x_59; +} } } } @@ -16605,18 +16661,19 @@ return x_49; } else { -lean_object* x_52; uint8_t x_53; lean_object* x_54; -lean_dec(x_12); +lean_object* x_62; uint8_t x_63; lean_object* x_64; +lean_dec(x_14); +lean_dec(x_13); lean_dec(x_11); +lean_dec(x_10); lean_dec(x_9); lean_dec(x_8); lean_dec(x_7); -lean_dec(x_6); -lean_dec(x_5); -x_52 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__22; -x_53 = 1; -x_54 = l_Lean_Parser_orelseFnCore(x_4, x_52, x_53, x_1, x_2); -return x_54; +lean_dec(x_4); +x_62 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__23; +x_63 = 1; +x_64 = l_Lean_Parser_orelseFnCore(x_6, x_62, x_63, x_1, x_2); +return x_64; } } } @@ -16632,22 +16689,24 @@ return x_2; static lean_object* _init_l_Lean_Parser_Command_whereStructInst___closed__2() { _start: { -lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; +lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_1 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__17; x_2 = lean_ctor_get(x_1, 0); lean_inc(x_2); -x_3 = l_Lean_Parser_Command_whereStructInst___closed__1; -x_4 = l_Lean_Parser_andthenInfo(x_3, x_2); -return x_4; +x_3 = l_Lean_Parser_Command_declValSimple___elambda__1___closed__8; +x_4 = lean_ctor_get(x_3, 0); +lean_inc(x_4); +x_5 = l_Lean_Parser_andthenInfo(x_2, x_4); +return x_5; } } static lean_object* _init_l_Lean_Parser_Command_whereStructInst___closed__3() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__2; +x_1 = l_Lean_Parser_Command_whereStructInst___closed__1; x_2 = l_Lean_Parser_Command_whereStructInst___closed__2; -x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); +x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); return x_3; } } @@ -16655,9 +16714,9 @@ static lean_object* _init_l_Lean_Parser_Command_whereStructInst___closed__4() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_whereStructInst___closed__3; -x_2 = l_Lean_Parser_epsilonInfo; -x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); +x_1 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__2; +x_2 = l_Lean_Parser_Command_whereStructInst___closed__3; +x_3 = l_Lean_Parser_nodeInfo(x_1, x_2); return x_3; } } @@ -16665,8 +16724,8 @@ static lean_object* _init_l_Lean_Parser_Command_whereStructInst___closed__5() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_epsilonInfo; -x_2 = l_Lean_Parser_Command_whereStructInst___closed__4; +x_1 = l_Lean_Parser_Command_whereStructInst___closed__4; +x_2 = l_Lean_Parser_epsilonInfo; x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); return x_3; } @@ -16674,16 +16733,26 @@ return x_3; static lean_object* _init_l_Lean_Parser_Command_whereStructInst___closed__6() { _start: { +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_epsilonInfo; +x_2 = l_Lean_Parser_Command_whereStructInst___closed__5; +x_3 = l_Lean_Parser_andthenInfo(x_1, x_2); +return x_3; +} +} +static lean_object* _init_l_Lean_Parser_Command_whereStructInst___closed__7() { +_start: +{ lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; x_1 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__4; x_2 = lean_ctor_get(x_1, 0); lean_inc(x_2); -x_3 = l_Lean_Parser_Command_whereStructInst___closed__5; +x_3 = l_Lean_Parser_Command_whereStructInst___closed__6; x_4 = l_Lean_Parser_orelseInfo(x_2, x_3); return x_4; } } -static lean_object* _init_l_Lean_Parser_Command_whereStructInst___closed__7() { +static lean_object* _init_l_Lean_Parser_Command_whereStructInst___closed__8() { _start: { lean_object* x_1; @@ -16691,12 +16760,12 @@ x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Command_whereStructInst___elambda return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_whereStructInst___closed__8() { +static lean_object* _init_l_Lean_Parser_Command_whereStructInst___closed__9() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_whereStructInst___closed__6; -x_2 = l_Lean_Parser_Command_whereStructInst___closed__7; +x_1 = l_Lean_Parser_Command_whereStructInst___closed__7; +x_2 = l_Lean_Parser_Command_whereStructInst___closed__8; x_3 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_3, 0, x_1); lean_ctor_set(x_3, 1, x_2); @@ -16707,7 +16776,7 @@ static lean_object* _init_l_Lean_Parser_Command_whereStructInst() { _start: { lean_object* x_1; -x_1 = l_Lean_Parser_Command_whereStructInst___closed__8; +x_1 = l_Lean_Parser_Command_whereStructInst___closed__9; return x_1; } } @@ -16716,7 +16785,7 @@ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = l_Lean_Parser_Command_declValEqns___closed__5; -x_2 = l_Lean_Parser_Command_whereStructInst___closed__7; +x_2 = l_Lean_Parser_Command_whereStructInst___closed__8; x_3 = lean_alloc_closure((void*)(l_Lean_Parser_orelseFn), 4, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -28700,8 +28769,8 @@ static lean_object* _init_l_Lean_Parser_Command_whereStructInst_formatter___clos _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_whereStructInst_formatter___closed__2; -x_2 = l_Lean_Parser_Command_whereStructInst_formatter___closed__9; +x_1 = l_Lean_Parser_Command_whereStructInst_formatter___closed__9; +x_2 = l_Lean_Parser_Command_declValSimple_formatter___closed__4; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -28711,10 +28780,22 @@ return x_3; static lean_object* _init_l_Lean_Parser_Command_whereStructInst_formatter___closed__11() { _start: { +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_whereStructInst_formatter___closed__2; +x_2 = l_Lean_Parser_Command_whereStructInst_formatter___closed__10; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Formatter_andthen_formatter), 7, 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_Command_whereStructInst_formatter___closed__12() { +_start: +{ lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; x_1 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__2; x_2 = lean_unsigned_to_nat(1024u); -x_3 = l_Lean_Parser_Command_whereStructInst_formatter___closed__10; +x_3 = l_Lean_Parser_Command_whereStructInst_formatter___closed__11; 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); @@ -28727,7 +28808,7 @@ _start: { lean_object* x_6; lean_object* x_7; lean_object* x_8; x_6 = l_Lean_Parser_Command_whereStructInst_formatter___closed__1; -x_7 = l_Lean_Parser_Command_whereStructInst_formatter___closed__11; +x_7 = l_Lean_Parser_Command_whereStructInst_formatter___closed__12; 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; } @@ -34421,8 +34502,8 @@ static lean_object* _init_l_Lean_Parser_Command_whereStructInst_parenthesizer___ _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__2; -x_2 = l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__9; +x_1 = l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__9; +x_2 = l_Lean_Parser_Command_declValSimple_parenthesizer___closed__4; x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 2); lean_closure_set(x_3, 0, x_1); lean_closure_set(x_3, 1, x_2); @@ -34432,10 +34513,22 @@ return x_3; static lean_object* _init_l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__11() { _start: { +lean_object* x_1; lean_object* x_2; lean_object* x_3; +x_1 = l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__2; +x_2 = l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__10; +x_3 = lean_alloc_closure((void*)(l_Lean_PrettyPrinter_Parenthesizer_andthen_parenthesizer), 7, 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_Command_whereStructInst_parenthesizer___closed__12() { +_start: +{ lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; x_1 = l_Lean_Parser_Command_whereStructInst___elambda__1___closed__2; x_2 = lean_unsigned_to_nat(1024u); -x_3 = l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__10; +x_3 = l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__11; 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); @@ -34448,7 +34541,7 @@ _start: { lean_object* x_6; lean_object* x_7; lean_object* x_8; x_6 = l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__1; -x_7 = l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__11; +x_7 = l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__12; x_8 = l_Lean_PrettyPrinter_Parenthesizer_withAntiquot_parenthesizer(x_6, x_7, x_1, x_2, x_3, x_4, x_5); return x_8; } @@ -63587,7 +63680,7 @@ x_1 = l_Lean_Parser_Command_ctor___closed__2; return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__1() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__1() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -63597,7 +63690,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__2() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__2() { _start: { lean_object* x_1; lean_object* x_2; @@ -63607,7 +63700,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__3() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__3() { _start: { lean_object* x_1; @@ -63615,7 +63708,7 @@ x_1 = l_Lean_Parser_parserAliasesRef; return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__4() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__4() { _start: { lean_object* x_1; @@ -63623,17 +63716,17 @@ x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Command_declModifiersF_formatter) return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__5() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__5() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__4; +x_1 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__4; x_2 = lean_alloc_ctor(0, 1, 0); lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__6() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__6() { _start: { lean_object* x_1; @@ -63641,7 +63734,7 @@ x_1 = l_Lean_PrettyPrinter_Formatter_formatterAliasesRef; return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__7() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__7() { _start: { lean_object* x_1; @@ -63649,17 +63742,17 @@ x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Command_declModifiersF_parenthesi return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__8() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__8() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__7; +x_1 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__7; x_2 = lean_alloc_ctor(0, 1, 0); lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__9() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__9() { _start: { lean_object* x_1; @@ -63667,7 +63760,7 @@ x_1 = l_Lean_PrettyPrinter_Parenthesizer_parenthesizerAliasesRef; return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__10() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__10() { _start: { lean_object* x_1; @@ -63675,17 +63768,17 @@ x_1 = lean_mk_string_from_bytes("nestedDeclModifiers", 19); return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__11() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__11() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__10; +x_2 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__10; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__12() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__12() { _start: { lean_object* x_1; lean_object* x_2; @@ -63695,7 +63788,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__13() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__13() { _start: { lean_object* x_1; @@ -63703,17 +63796,17 @@ x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Command_declModifiersT_formatter) return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__14() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__14() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__13; +x_1 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__13; x_2 = lean_alloc_ctor(0, 1, 0); lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__15() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__15() { _start: { lean_object* x_1; @@ -63721,17 +63814,17 @@ x_1 = lean_alloc_closure((void*)(l_Lean_Parser_Command_declModifiersT_parenthesi return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__16() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__16() { _start: { lean_object* x_1; lean_object* x_2; -x_1 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__15; +x_1 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__15; x_2 = lean_alloc_ctor(0, 1, 0); lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__17() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__17() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -63741,7 +63834,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__18() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__18() { _start: { lean_object* x_1; lean_object* x_2; @@ -63751,7 +63844,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__19() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__19() { _start: { lean_object* x_1; lean_object* x_2; @@ -63761,7 +63854,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__20() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__20() { _start: { lean_object* x_1; lean_object* x_2; @@ -63771,7 +63864,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__21() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__21() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -63781,7 +63874,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__22() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__22() { _start: { lean_object* x_1; lean_object* x_2; @@ -63791,7 +63884,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__23() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__23() { _start: { lean_object* x_1; lean_object* x_2; @@ -63801,7 +63894,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__24() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__24() { _start: { lean_object* x_1; lean_object* x_2; @@ -63811,7 +63904,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__25() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__25() { _start: { lean_object* x_1; @@ -63819,17 +63912,17 @@ x_1 = lean_mk_string_from_bytes("declVal", 7); return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__26() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__26() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__25; +x_2 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__25; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__27() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__27() { _start: { lean_object* x_1; lean_object* x_2; @@ -63839,7 +63932,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__28() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__28() { _start: { lean_object* x_1; lean_object* x_2; @@ -63849,7 +63942,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__29() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__29() { _start: { lean_object* x_1; lean_object* x_2; @@ -63859,7 +63952,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__30() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__30() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; @@ -63869,7 +63962,7 @@ x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__31() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__31() { _start: { lean_object* x_1; lean_object* x_2; @@ -63879,7 +63972,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__32() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__32() { _start: { lean_object* x_1; lean_object* x_2; @@ -63889,7 +63982,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__33() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__33() { _start: { lean_object* x_1; lean_object* x_2; @@ -63899,7 +63992,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__34() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__34() { _start: { lean_object* x_1; @@ -63907,17 +64000,17 @@ x_1 = lean_mk_string_from_bytes("openDecl", 8); return x_1; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__35() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__35() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__34; +x_2 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__34; x_3 = lean_name_mk_string(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__36() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__36() { _start: { lean_object* x_1; lean_object* x_2; @@ -63927,7 +64020,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__37() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__37() { _start: { lean_object* x_1; lean_object* x_2; @@ -63937,7 +64030,7 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__38() { +static lean_object* _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__38() { _start: { lean_object* x_1; lean_object* x_2; @@ -63947,13 +64040,13 @@ lean_ctor_set(x_2, 0, x_1); return x_2; } } -LEAN_EXPORT lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421_(lean_object* x_1) { +LEAN_EXPORT lean_object* l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425_(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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__3; -x_3 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__1; -x_4 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__2; +x_2 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__3; +x_3 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__1; +x_4 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__2; x_5 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_3, x_4, x_1); if (lean_obj_tag(x_5) == 0) { @@ -63961,8 +64054,8 @@ lean_object* x_6; lean_object* x_7; lean_object* x_8; lean_object* x_9; x_6 = lean_ctor_get(x_5, 1); lean_inc(x_6); lean_dec(x_5); -x_7 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__6; -x_8 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__5; +x_7 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__6; +x_8 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__5; x_9 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_3, x_8, x_6); if (lean_obj_tag(x_9) == 0) { @@ -63970,8 +64063,8 @@ lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; x_10 = lean_ctor_get(x_9, 1); lean_inc(x_10); lean_dec(x_9); -x_11 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__9; -x_12 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__8; +x_11 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__9; +x_12 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__8; x_13 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_3, x_12, x_10); if (lean_obj_tag(x_13) == 0) { @@ -63979,8 +64072,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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__11; -x_16 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__12; +x_15 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__11; +x_16 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__12; x_17 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_15, x_16, x_14); if (lean_obj_tag(x_17) == 0) { @@ -63988,7 +64081,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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__14; +x_19 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__14; x_20 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_15, x_19, x_18); if (lean_obj_tag(x_20) == 0) { @@ -63996,7 +64089,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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__16; +x_22 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__16; x_23 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_15, x_22, x_21); if (lean_obj_tag(x_23) == 0) { @@ -64004,8 +64097,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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__17; -x_26 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__18; +x_25 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__17; +x_26 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__18; x_27 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_25, x_26, x_24); if (lean_obj_tag(x_27) == 0) { @@ -64013,7 +64106,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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__19; +x_29 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__19; x_30 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_25, x_29, x_28); if (lean_obj_tag(x_30) == 0) { @@ -64021,7 +64114,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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__20; +x_32 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__20; x_33 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_25, x_32, x_31); if (lean_obj_tag(x_33) == 0) { @@ -64029,8 +64122,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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__21; -x_36 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__22; +x_35 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__21; +x_36 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__22; x_37 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_35, x_36, x_34); if (lean_obj_tag(x_37) == 0) { @@ -64038,7 +64131,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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__23; +x_39 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__23; x_40 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_35, x_39, x_38); if (lean_obj_tag(x_40) == 0) { @@ -64046,7 +64139,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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__24; +x_42 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__24; x_43 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_35, x_42, x_41); if (lean_obj_tag(x_43) == 0) { @@ -64054,8 +64147,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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__26; -x_46 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__27; +x_45 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__26; +x_46 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__27; x_47 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_45, x_46, x_44); if (lean_obj_tag(x_47) == 0) { @@ -64063,7 +64156,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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__28; +x_49 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__28; x_50 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_45, x_49, x_48); if (lean_obj_tag(x_50) == 0) { @@ -64071,7 +64164,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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__29; +x_52 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__29; x_53 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_45, x_52, x_51); if (lean_obj_tag(x_53) == 0) { @@ -64079,8 +64172,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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__30; -x_56 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__31; +x_55 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__30; +x_56 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__31; x_57 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_55, x_56, x_54); if (lean_obj_tag(x_57) == 0) { @@ -64088,7 +64181,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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__32; +x_59 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__32; x_60 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_55, x_59, x_58); if (lean_obj_tag(x_60) == 0) { @@ -64096,7 +64189,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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__33; +x_62 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__33; x_63 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_55, x_62, x_61); if (lean_obj_tag(x_63) == 0) { @@ -64104,8 +64197,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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__35; -x_66 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__36; +x_65 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__35; +x_66 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__36; x_67 = l_Lean_Parser_registerAliasCore___rarg(x_2, x_65, x_66, x_64); if (lean_obj_tag(x_67) == 0) { @@ -64113,7 +64206,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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__37; +x_69 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__37; x_70 = l_Lean_Parser_registerAliasCore___rarg(x_7, x_65, x_69, x_68); if (lean_obj_tag(x_70) == 0) { @@ -64121,7 +64214,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_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__38; +x_72 = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__38; x_73 = l_Lean_Parser_registerAliasCore___rarg(x_11, x_65, x_72, x_71); return x_73; } @@ -69243,6 +69336,8 @@ l_Lean_Parser_Command_whereStructInst___elambda__1___closed__23 = _init_l_Lean_P lean_mark_persistent(l_Lean_Parser_Command_whereStructInst___elambda__1___closed__23); l_Lean_Parser_Command_whereStructInst___elambda__1___closed__24 = _init_l_Lean_Parser_Command_whereStructInst___elambda__1___closed__24(); lean_mark_persistent(l_Lean_Parser_Command_whereStructInst___elambda__1___closed__24); +l_Lean_Parser_Command_whereStructInst___elambda__1___closed__25 = _init_l_Lean_Parser_Command_whereStructInst___elambda__1___closed__25(); +lean_mark_persistent(l_Lean_Parser_Command_whereStructInst___elambda__1___closed__25); l_Lean_Parser_Command_whereStructInst___closed__1 = _init_l_Lean_Parser_Command_whereStructInst___closed__1(); lean_mark_persistent(l_Lean_Parser_Command_whereStructInst___closed__1); l_Lean_Parser_Command_whereStructInst___closed__2 = _init_l_Lean_Parser_Command_whereStructInst___closed__2(); @@ -69259,6 +69354,8 @@ l_Lean_Parser_Command_whereStructInst___closed__7 = _init_l_Lean_Parser_Command_ lean_mark_persistent(l_Lean_Parser_Command_whereStructInst___closed__7); l_Lean_Parser_Command_whereStructInst___closed__8 = _init_l_Lean_Parser_Command_whereStructInst___closed__8(); lean_mark_persistent(l_Lean_Parser_Command_whereStructInst___closed__8); +l_Lean_Parser_Command_whereStructInst___closed__9 = _init_l_Lean_Parser_Command_whereStructInst___closed__9(); +lean_mark_persistent(l_Lean_Parser_Command_whereStructInst___closed__9); l_Lean_Parser_Command_whereStructInst = _init_l_Lean_Parser_Command_whereStructInst(); lean_mark_persistent(l_Lean_Parser_Command_whereStructInst); l_Lean_Parser_Command_declVal___elambda__1___closed__1 = _init_l_Lean_Parser_Command_declVal___elambda__1___closed__1(); @@ -70820,6 +70917,8 @@ l_Lean_Parser_Command_whereStructInst_formatter___closed__10 = _init_l_Lean_Pars lean_mark_persistent(l_Lean_Parser_Command_whereStructInst_formatter___closed__10); l_Lean_Parser_Command_whereStructInst_formatter___closed__11 = _init_l_Lean_Parser_Command_whereStructInst_formatter___closed__11(); lean_mark_persistent(l_Lean_Parser_Command_whereStructInst_formatter___closed__11); +l_Lean_Parser_Command_whereStructInst_formatter___closed__12 = _init_l_Lean_Parser_Command_whereStructInst_formatter___closed__12(); +lean_mark_persistent(l_Lean_Parser_Command_whereStructInst_formatter___closed__12); l___regBuiltin_Lean_Parser_Command_whereStructInst_formatter___closed__1 = _init_l___regBuiltin_Lean_Parser_Command_whereStructInst_formatter___closed__1(); lean_mark_persistent(l___regBuiltin_Lean_Parser_Command_whereStructInst_formatter___closed__1); l___regBuiltin_Lean_Parser_Command_whereStructInst_formatter___closed__2 = _init_l___regBuiltin_Lean_Parser_Command_whereStructInst_formatter___closed__2(); @@ -71770,6 +71869,8 @@ l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__10 = _init_l_Lean_ lean_mark_persistent(l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__10); l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__11 = _init_l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__11(); lean_mark_persistent(l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__11); +l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__12 = _init_l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__12(); +lean_mark_persistent(l_Lean_Parser_Command_whereStructInst_parenthesizer___closed__12); l___regBuiltin_Lean_Parser_Command_whereStructInst_parenthesizer___closed__1 = _init_l___regBuiltin_Lean_Parser_Command_whereStructInst_parenthesizer___closed__1(); lean_mark_persistent(l___regBuiltin_Lean_Parser_Command_whereStructInst_parenthesizer___closed__1); l___regBuiltin_Lean_Parser_Command_whereStructInst_parenthesizer___closed__2 = _init_l___regBuiltin_Lean_Parser_Command_whereStructInst_parenthesizer___closed__2(); @@ -75849,83 +75950,83 @@ l_Lean_Parser_Command_declModifiersF = _init_l_Lean_Parser_Command_declModifiers lean_mark_persistent(l_Lean_Parser_Command_declModifiersF); l_Lean_Parser_Command_declModifiersT = _init_l_Lean_Parser_Command_declModifiersT(); lean_mark_persistent(l_Lean_Parser_Command_declModifiersT); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__1 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__1(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__1); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__2 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__2(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__2); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__3 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__3(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__3); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__4 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__4(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__4); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__5 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__5(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__5); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__6 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__6(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__6); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__7 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__7(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__7); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__8 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__8(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__8); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__9 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__9(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__9); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__10 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__10(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__10); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__11 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__11(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__11); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__12 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__12(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__12); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__13 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__13(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__13); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__14 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__14(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__14); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__15 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__15(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__15); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__16 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__16(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__16); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__17 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__17(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__17); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__18 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__18(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__18); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__19 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__19(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__19); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__20 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__20(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__20); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__21 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__21(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__21); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__22 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__22(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__22); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__23 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__23(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__23); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__24 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__24(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__24); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__25 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__25(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__25); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__26 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__26(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__26); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__27 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__27(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__27); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__28 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__28(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__28); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__29 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__29(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__29); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__30 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__30(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__30); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__31 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__31(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__31); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__32 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__32(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__32); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__33 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__33(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__33); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__34 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__34(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__34); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__35 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__35(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__35); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__36 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__36(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__36); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__37 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__37(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__37); -l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__38 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__38(); -lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421____closed__38); -res = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2421_(lean_io_mk_world()); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__1 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__1(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__1); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__2 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__2(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__2); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__3 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__3(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__3); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__4 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__4(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__4); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__5 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__5(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__5); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__6 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__6(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__6); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__7 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__7(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__7); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__8 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__8(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__8); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__9 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__9(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__9); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__10 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__10(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__10); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__11 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__11(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__11); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__12 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__12(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__12); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__13 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__13(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__13); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__14 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__14(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__14); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__15 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__15(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__15); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__16 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__16(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__16); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__17 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__17(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__17); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__18 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__18(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__18); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__19 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__19(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__19); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__20 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__20(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__20); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__21 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__21(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__21); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__22 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__22(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__22); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__23 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__23(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__23); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__24 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__24(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__24); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__25 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__25(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__25); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__26 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__26(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__26); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__27 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__27(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__27); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__28 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__28(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__28); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__29 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__29(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__29); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__30 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__30(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__30); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__31 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__31(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__31); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__32 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__32(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__32); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__33 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__33(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__33); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__34 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__34(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__34); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__35 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__35(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__35); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__36 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__36(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__36); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__37 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__37(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__37); +l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__38 = _init_l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__38(); +lean_mark_persistent(l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425____closed__38); +res = l_Lean_Parser_Command_initFn____x40_Lean_Parser_Command___hyg_2425_(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; lean_dec_ref(res); l_Lean_Parser_Term_open___elambda__1___closed__1 = _init_l_Lean_Parser_Term_open___elambda__1___closed__1();