From 610fa69f158f8a77f2855ee23c1e48865670d11c Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 2 Jan 2024 05:58:15 -0800 Subject: [PATCH] chore: update stage0 --- .../Meta/Tactic/Simp/BuiltinSimprocs/Core.c | 6 +- .../Meta/Tactic/Simp/BuiltinSimprocs/Fin.c | 20 +- .../Meta/Tactic/Simp/BuiltinSimprocs/Int.c | 26 +- .../Meta/Tactic/Simp/BuiltinSimprocs/Nat.c | 26 +- .../Meta/Tactic/Simp/BuiltinSimprocs/UInt.c | 92 +-- stage0/stdlib/Lean/Meta/Tactic/Simp/Simproc.c | 528 ++++++++---------- 6 files changed, 323 insertions(+), 375 deletions(-) diff --git a/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.c b/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.c index 2cb9b493ad..686ea9544f 100644 --- a/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.c +++ b/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.c @@ -46,7 +46,6 @@ LEAN_EXPORT lean_object* l___regBuiltin_reduceIte_declare____x40_Lean_Meta_Tacti LEAN_EXPORT lean_object* l_reduceDite___lambda__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); extern lean_object* l_Lean_levelZero; static lean_object* l___regBuiltin_reduceIte_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Core___hyg_260____closed__5; -lean_object* l_Lean_Meta_Simp_registerBuiltinSimprocNew(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_reduceDite___lambda__1___closed__5; lean_object* l_Lean_Name_str___override(lean_object*, lean_object*); static lean_object* l_reduceDite___lambda__1___closed__2; @@ -61,6 +60,7 @@ lean_object* l_Lean_Expr_constLevels_x21(lean_object*); LEAN_EXPORT lean_object* l_reduceIte___lambda__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Expr_app___override(lean_object*, lean_object*); static lean_object* l_reduceIte___closed__1; +lean_object* l_Lean_Meta_Simp_registerBuiltinSimproc(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_reduceIte___lambda__2___closed__1; LEAN_EXPORT lean_object* l_reduceDite___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_reduceIte(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -692,7 +692,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_reduceIte_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Core___hyg_260____closed__2; x_3 = l___regBuiltin_reduceIte_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Core___hyg_260____closed__10; x_4 = l___regBuiltin_reduceIte_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Core___hyg_260____closed__11; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -1307,7 +1307,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_reduceDite_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Core___hyg_544____closed__2; x_3 = l___regBuiltin_reduceDite_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Core___hyg_544____closed__9; x_4 = l___regBuiltin_reduceDite_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Core___hyg_544____closed__10; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } diff --git a/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.c b/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.c index 35071e0cae..1eacb5cfc7 100644 --- a/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.c +++ b/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.c @@ -146,7 +146,6 @@ LEAN_EXPORT lean_object* l_Fin_reduceAdd___lambda__1___boxed(lean_object*, lean_ LEAN_EXPORT lean_object* l_Fin_reduceSub(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Fin_reduceGT___closed__1; static lean_object* l_Fin_reduceLE___closed__2; -lean_object* l_Lean_Meta_Simp_registerBuiltinSimprocNew(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Fin_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_1009____closed__11; static lean_object* l___regBuiltin_Fin_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_852____closed__5; lean_object* l_Lean_Name_str___override(lean_object*, lean_object*); @@ -180,6 +179,7 @@ LEAN_EXPORT lean_object* l_Fin_reduceLE(lean_object*, lean_object*, lean_object* static lean_object* l_Fin_Value_toExpr___closed__2; static lean_object* l___regBuiltin_Fin_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_852____closed__9; static lean_object* l___regBuiltin_Fin_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_813____closed__3; +lean_object* l_Lean_Meta_Simp_registerBuiltinSimproc(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Fin_reduceMod___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); uint8_t lean_nat_dec_lt(lean_object*, lean_object*); lean_object* lean_nat_mod(lean_object*, lean_object*); @@ -3025,7 +3025,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Fin_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_813____closed__2; x_3 = l___regBuiltin_Fin_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_813____closed__15; x_4 = l___regBuiltin_Fin_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_813____closed__16; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -3612,7 +3612,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Fin_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_852____closed__2; x_3 = l___regBuiltin_Fin_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_852____closed__13; x_4 = l___regBuiltin_Fin_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_852____closed__14; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -4199,7 +4199,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Fin_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_891____closed__2; x_3 = l___regBuiltin_Fin_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_891____closed__13; x_4 = l___regBuiltin_Fin_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_891____closed__14; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -4786,7 +4786,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Fin_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_930____closed__2; x_3 = l___regBuiltin_Fin_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_930____closed__13; x_4 = l___regBuiltin_Fin_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_930____closed__14; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -5373,7 +5373,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Fin_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_969____closed__2; x_3 = l___regBuiltin_Fin_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_969____closed__13; x_4 = l___regBuiltin_Fin_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_969____closed__14; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -6525,7 +6525,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Fin_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_1009____closed__2; x_3 = l___regBuiltin_Fin_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_1009____closed__10; x_4 = l___regBuiltin_Fin_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_1009____closed__11; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -7668,7 +7668,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Fin_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_1049____closed__2; x_3 = l___regBuiltin_Fin_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_1049____closed__9; x_4 = l___regBuiltin_Fin_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_1049____closed__10; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -8739,7 +8739,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Fin_reduceGT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_1089____closed__2; x_3 = l___regBuiltin_Fin_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_1009____closed__10; x_4 = l___regBuiltin_Fin_reduceGT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_1089____closed__3; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -9810,7 +9810,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Fin_reduceGE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_1129____closed__2; x_3 = l___regBuiltin_Fin_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_1049____closed__9; x_4 = l___regBuiltin_Fin_reduceGE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Fin___hyg_1129____closed__3; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } diff --git a/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.c b/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.c index 47e07137ab..3b5a4d7ca5 100644 --- a/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.c +++ b/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.c @@ -173,7 +173,6 @@ lean_object* l_Lean_Meta_mkDecide(lean_object*, lean_object*, lean_object*, lean LEAN_EXPORT lean_object* l_Int_reduceMod___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Int_reduceBinPred___lambda__1___closed__17; static lean_object* l_Int_toExpr___closed__3; -lean_object* l_Lean_Meta_Simp_registerBuiltinSimprocNew(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Int_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1127____closed__9; static lean_object* l___regBuiltin_Int_reducePow_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1402____closed__3; LEAN_EXPORT lean_object* l_Int_fromExpr_x3f(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -229,6 +228,7 @@ LEAN_EXPORT lean_object* l_Int_reduceLE___lambda__1___boxed(lean_object*, lean_o lean_object* l_Lean_Expr_app___override(lean_object*, lean_object*); static lean_object* l___regBuiltin_Int_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1241____closed__5; LEAN_EXPORT lean_object* l_Int_reduceLE___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* l_Lean_Meta_Simp_registerBuiltinSimproc(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Int_reduceSub___closed__2; LEAN_EXPORT lean_object* l_Int_reduceAdd___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Int_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1165____closed__7; @@ -2940,7 +2940,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Int_reduceNeg_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1051____closed__2; x_3 = l___regBuiltin_Int_reduceNeg_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1051____closed__9; x_4 = l___regBuiltin_Int_reduceNeg_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1051____closed__10; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -3404,7 +3404,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Int_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1089____closed__2; x_3 = l___regBuiltin_Int_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1089____closed__11; x_4 = l___regBuiltin_Int_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1089____closed__12; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -3859,7 +3859,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Int_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1127____closed__2; x_3 = l___regBuiltin_Int_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1127____closed__10; x_4 = l___regBuiltin_Int_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1127____closed__11; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -4314,7 +4314,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Int_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1165____closed__2; x_3 = l___regBuiltin_Int_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1165____closed__10; x_4 = l___regBuiltin_Int_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1165____closed__11; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -4769,7 +4769,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Int_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1203____closed__2; x_3 = l___regBuiltin_Int_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1203____closed__10; x_4 = l___regBuiltin_Int_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1203____closed__11; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -5224,7 +5224,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Int_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1241____closed__2; x_3 = l___regBuiltin_Int_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1241____closed__10; x_4 = l___regBuiltin_Int_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1241____closed__11; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -5713,7 +5713,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Int_reducePow_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1402____closed__2; x_3 = l___regBuiltin_Int_reducePow_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1402____closed__13; x_4 = l___regBuiltin_Int_reducePow_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1402____closed__14; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -6022,7 +6022,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Int_reduceAbs_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1514____closed__2; x_3 = l___regBuiltin_Int_reduceAbs_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1514____closed__6; x_4 = l___regBuiltin_Int_reduceAbs_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1514____closed__7; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -7146,7 +7146,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Int_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1553____closed__2; x_3 = l___regBuiltin_Int_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1553____closed__9; x_4 = l___regBuiltin_Int_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1553____closed__10; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -8261,7 +8261,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Int_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1592____closed__2; x_3 = l___regBuiltin_Int_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1592____closed__8; x_4 = l___regBuiltin_Int_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1592____closed__9; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -9314,7 +9314,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Int_reduceGT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1631____closed__2; x_3 = l___regBuiltin_Int_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1553____closed__9; x_4 = l___regBuiltin_Int_reduceGT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1631____closed__3; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -10367,7 +10367,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Int_reduceGE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1670____closed__2; x_3 = l___regBuiltin_Int_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1592____closed__8; x_4 = l___regBuiltin_Int_reduceGE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Int___hyg_1670____closed__3; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } diff --git a/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.c b/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.c index 2344debb13..3a65e39370 100644 --- a/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.c +++ b/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.c @@ -138,7 +138,6 @@ LEAN_EXPORT lean_object* l_Nat_reduceAdd___boxed(lean_object*, lean_object*, lea static lean_object* l___regBuiltin_Nat_reduceSucc_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_592____closed__4; LEAN_EXPORT lean_object* l_Nat_reduceLT___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Nat_reduceSucc_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_592____closed__1; -lean_object* l_Lean_Meta_Simp_registerBuiltinSimprocNew(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_Nat_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_668____closed__2; LEAN_EXPORT lean_object* l___regBuiltin_Nat_reduceGE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_997_(lean_object*); static lean_object* l_Nat_reduceLE___closed__3; @@ -194,6 +193,7 @@ lean_object* lean_nat_pow(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Nat_reduceLE___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Nat_reduceBinPred___lambda__1___closed__19; LEAN_EXPORT lean_object* l_Nat_reducePow___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +lean_object* l_Lean_Meta_Simp_registerBuiltinSimproc(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Nat_reduceGcd(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Nat_reduceGE(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Nat_reduceGT___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -2370,7 +2370,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Nat_reduceSucc_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_592____closed__2; x_3 = l___regBuiltin_Nat_reduceSucc_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_592____closed__6; x_4 = l___regBuiltin_Nat_reduceSucc_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_592____closed__7; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -2849,7 +2849,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Nat_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_630____closed__2; x_3 = l___regBuiltin_Nat_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_630____closed__13; x_4 = l___regBuiltin_Nat_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_630____closed__14; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -3297,7 +3297,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Nat_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_668____closed__2; x_3 = l___regBuiltin_Nat_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_668____closed__10; x_4 = l___regBuiltin_Nat_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_668____closed__11; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -3745,7 +3745,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Nat_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_706____closed__2; x_3 = l___regBuiltin_Nat_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_706____closed__10; x_4 = l___regBuiltin_Nat_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_706____closed__11; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -4193,7 +4193,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Nat_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_744____closed__2; x_3 = l___regBuiltin_Nat_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_744____closed__10; x_4 = l___regBuiltin_Nat_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_744____closed__11; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -4641,7 +4641,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Nat_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_782____closed__2; x_3 = l___regBuiltin_Nat_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_782____closed__10; x_4 = l___regBuiltin_Nat_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_782____closed__11; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -5089,7 +5089,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Nat_reducePow_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_820____closed__2; x_3 = l___regBuiltin_Nat_reducePow_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_820____closed__10; x_4 = l___regBuiltin_Nat_reducePow_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_820____closed__11; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -5489,7 +5489,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Nat_reduceGcd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_839____closed__2; x_3 = l___regBuiltin_Nat_reduceGcd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_839____closed__6; x_4 = l___regBuiltin_Nat_reduceGcd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_839____closed__7; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -6607,7 +6607,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Nat_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_878____closed__2; x_3 = l___regBuiltin_Nat_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_878____closed__9; x_4 = l___regBuiltin_Nat_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_878____closed__10; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -7716,7 +7716,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Nat_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_917____closed__2; x_3 = l___regBuiltin_Nat_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_917____closed__8; x_4 = l___regBuiltin_Nat_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_917____closed__9; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -8763,7 +8763,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Nat_reduceGT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_956____closed__2; x_3 = l___regBuiltin_Nat_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_878____closed__9; x_4 = l___regBuiltin_Nat_reduceGT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_956____closed__3; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -9810,7 +9810,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_Nat_reduceGE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_995____closed__2; x_3 = l___regBuiltin_Nat_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_917____closed__8; x_4 = l___regBuiltin_Nat_reduceGE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_Nat___hyg_995____closed__3; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } diff --git a/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.c b/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.c index 234d8839b7..81d4b4b408 100644 --- a/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.c +++ b/stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.c @@ -671,7 +671,6 @@ static lean_object* l___aux__Lean__Meta__Tactic__Simp__BuiltinSimprocs__UInt____ static lean_object* l___regBuiltin_UInt16_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7717____closed__4; LEAN_EXPORT lean_object* l_UInt16_reduceAdd___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___aux__Lean__Meta__Tactic__Simp__BuiltinSimprocs__UInt______macroRules__commandDeclare__uint__simprocs____1___closed__138; -lean_object* l_Lean_Meta_Simp_registerBuiltinSimprocNew(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___aux__Lean__Meta__Tactic__Simp__BuiltinSimprocs__UInt______macroRules__commandDeclare__uint__simprocs____1___closed__533; uint8_t lean_uint8_mul(uint8_t, uint8_t); static lean_object* l___aux__Lean__Meta__Tactic__Simp__BuiltinSimprocs__UInt______macroRules__commandDeclare__uint__simprocs____1___closed__272; @@ -909,6 +908,7 @@ static lean_object* l___aux__Lean__Meta__Tactic__Simp__BuiltinSimprocs__UInt____ static lean_object* l___aux__Lean__Meta__Tactic__Simp__BuiltinSimprocs__UInt______macroRules__commandDeclare__uint__simprocs____1___closed__508; LEAN_EXPORT lean_object* l_UInt8_reduceMod___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___aux__Lean__Meta__Tactic__Simp__BuiltinSimprocs__UInt______macroRules__commandDeclare__uint__simprocs____1___closed__33; +lean_object* l_Lean_Meta_Simp_registerBuiltinSimproc(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_UInt32_reduceAdd___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_UInt64_fromExpr(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l___regBuiltin_UInt32_reduceGT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8722____closed__2; @@ -11492,7 +11492,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt8_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6521____closed__1; x_3 = l___regBuiltin_UInt8_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6521____closed__11; x_4 = l___regBuiltin_UInt8_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6521____closed__12; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -11977,7 +11977,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt8_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6559____closed__1; x_3 = l___regBuiltin_UInt8_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6559____closed__9; x_4 = l___regBuiltin_UInt8_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6559____closed__10; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -12462,7 +12462,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt8_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6597____closed__1; x_3 = l___regBuiltin_UInt8_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6597____closed__9; x_4 = l___regBuiltin_UInt8_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6597____closed__10; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -12947,7 +12947,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt8_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6635____closed__1; x_3 = l___regBuiltin_UInt8_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6635____closed__9; x_4 = l___regBuiltin_UInt8_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6635____closed__10; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -13432,7 +13432,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt8_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6673____closed__1; x_3 = l___regBuiltin_UInt8_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6673____closed__9; x_4 = l___regBuiltin_UInt8_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6673____closed__10; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -14528,7 +14528,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt8_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6712____closed__1; x_3 = l___regBuiltin_UInt8_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6712____closed__8; x_4 = l___regBuiltin_UInt8_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6712____closed__9; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -15615,7 +15615,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt8_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6751____closed__1; x_3 = l___regBuiltin_UInt8_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6751____closed__7; x_4 = l___regBuiltin_UInt8_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6751____closed__8; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -16640,7 +16640,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt8_reduceGT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6790____closed__1; x_3 = l___regBuiltin_UInt8_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6712____closed__8; x_4 = l___regBuiltin_UInt8_reduceGT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6790____closed__2; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -17665,7 +17665,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt8_reduceGE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6829____closed__1; x_3 = l___regBuiltin_UInt8_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6751____closed__7; x_4 = l___regBuiltin_UInt8_reduceGE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_6829____closed__2; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -19891,7 +19891,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt16_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7487____closed__1; x_3 = l___regBuiltin_UInt16_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7487____closed__8; x_4 = l___regBuiltin_UInt16_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7487____closed__9; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -20354,7 +20354,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt16_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7525____closed__1; x_3 = l___regBuiltin_UInt16_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7525____closed__7; x_4 = l___regBuiltin_UInt16_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7525____closed__8; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -20817,7 +20817,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt16_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7563____closed__1; x_3 = l___regBuiltin_UInt16_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7563____closed__7; x_4 = l___regBuiltin_UInt16_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7563____closed__8; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -21280,7 +21280,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt16_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7601____closed__1; x_3 = l___regBuiltin_UInt16_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7601____closed__7; x_4 = l___regBuiltin_UInt16_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7601____closed__8; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -21743,7 +21743,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt16_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7639____closed__1; x_3 = l___regBuiltin_UInt16_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7639____closed__7; x_4 = l___regBuiltin_UInt16_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7639____closed__8; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -22808,7 +22808,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt16_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7678____closed__1; x_3 = l___regBuiltin_UInt16_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7678____closed__5; x_4 = l___regBuiltin_UInt16_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7678____closed__6; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -23873,7 +23873,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt16_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7717____closed__1; x_3 = l___regBuiltin_UInt16_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7717____closed__5; x_4 = l___regBuiltin_UInt16_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7717____closed__6; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -24898,7 +24898,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt16_reduceGT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7756____closed__1; x_3 = l___regBuiltin_UInt16_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7678____closed__5; x_4 = l___regBuiltin_UInt16_reduceGT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7756____closed__2; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -25923,7 +25923,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt16_reduceGE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7795____closed__1; x_3 = l___regBuiltin_UInt16_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7717____closed__5; x_4 = l___regBuiltin_UInt16_reduceGE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_7795____closed__2; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -28149,7 +28149,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt32_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8453____closed__1; x_3 = l___regBuiltin_UInt32_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8453____closed__8; x_4 = l___regBuiltin_UInt32_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8453____closed__9; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -28612,7 +28612,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt32_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8491____closed__1; x_3 = l___regBuiltin_UInt32_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8491____closed__7; x_4 = l___regBuiltin_UInt32_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8491____closed__8; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -29075,7 +29075,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt32_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8529____closed__1; x_3 = l___regBuiltin_UInt32_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8529____closed__7; x_4 = l___regBuiltin_UInt32_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8529____closed__8; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -29538,7 +29538,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt32_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8567____closed__1; x_3 = l___regBuiltin_UInt32_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8567____closed__7; x_4 = l___regBuiltin_UInt32_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8567____closed__8; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -30001,7 +30001,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt32_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8605____closed__1; x_3 = l___regBuiltin_UInt32_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8605____closed__7; x_4 = l___regBuiltin_UInt32_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8605____closed__8; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -31066,7 +31066,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt32_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8644____closed__1; x_3 = l___regBuiltin_UInt32_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8644____closed__5; x_4 = l___regBuiltin_UInt32_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8644____closed__6; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -32131,7 +32131,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt32_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8683____closed__1; x_3 = l___regBuiltin_UInt32_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8683____closed__5; x_4 = l___regBuiltin_UInt32_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8683____closed__6; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -33156,7 +33156,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt32_reduceGT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8722____closed__1; x_3 = l___regBuiltin_UInt32_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8644____closed__5; x_4 = l___regBuiltin_UInt32_reduceGT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8722____closed__2; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -34181,7 +34181,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt32_reduceGE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8761____closed__1; x_3 = l___regBuiltin_UInt32_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8683____closed__5; x_4 = l___regBuiltin_UInt32_reduceGE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_8761____closed__2; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -36407,7 +36407,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt64_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9419____closed__1; x_3 = l___regBuiltin_UInt64_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9419____closed__8; x_4 = l___regBuiltin_UInt64_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9419____closed__9; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -36870,7 +36870,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt64_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9457____closed__1; x_3 = l___regBuiltin_UInt64_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9457____closed__7; x_4 = l___regBuiltin_UInt64_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9457____closed__8; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -37333,7 +37333,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt64_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9495____closed__1; x_3 = l___regBuiltin_UInt64_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9495____closed__7; x_4 = l___regBuiltin_UInt64_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9495____closed__8; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -37796,7 +37796,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt64_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9533____closed__1; x_3 = l___regBuiltin_UInt64_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9533____closed__7; x_4 = l___regBuiltin_UInt64_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9533____closed__8; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -38259,7 +38259,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt64_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9571____closed__1; x_3 = l___regBuiltin_UInt64_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9571____closed__7; x_4 = l___regBuiltin_UInt64_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9571____closed__8; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -39324,7 +39324,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt64_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9610____closed__1; x_3 = l___regBuiltin_UInt64_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9610____closed__5; x_4 = l___regBuiltin_UInt64_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9610____closed__6; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -40389,7 +40389,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt64_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9649____closed__1; x_3 = l___regBuiltin_UInt64_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9649____closed__5; x_4 = l___regBuiltin_UInt64_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9649____closed__6; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -41414,7 +41414,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt64_reduceGT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9688____closed__1; x_3 = l___regBuiltin_UInt64_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9610____closed__5; x_4 = l___regBuiltin_UInt64_reduceGT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9688____closed__2; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -42439,7 +42439,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_UInt64_reduceGE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9727____closed__1; x_3 = l___regBuiltin_UInt64_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9649____closed__5; x_4 = l___regBuiltin_UInt64_reduceGE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_9727____closed__2; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -44665,7 +44665,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_USize_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10385____closed__1; x_3 = l___regBuiltin_USize_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10385____closed__8; x_4 = l___regBuiltin_USize_reduceAdd_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10385____closed__9; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -45128,7 +45128,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_USize_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10423____closed__1; x_3 = l___regBuiltin_USize_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10423____closed__7; x_4 = l___regBuiltin_USize_reduceMul_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10423____closed__8; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -45591,7 +45591,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_USize_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10461____closed__1; x_3 = l___regBuiltin_USize_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10461____closed__7; x_4 = l___regBuiltin_USize_reduceSub_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10461____closed__8; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -46054,7 +46054,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_USize_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10499____closed__1; x_3 = l___regBuiltin_USize_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10499____closed__7; x_4 = l___regBuiltin_USize_reduceDiv_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10499____closed__8; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -46517,7 +46517,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_USize_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10537____closed__1; x_3 = l___regBuiltin_USize_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10537____closed__7; x_4 = l___regBuiltin_USize_reduceMod_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10537____closed__8; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -47582,7 +47582,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_USize_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10576____closed__1; x_3 = l___regBuiltin_USize_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10576____closed__5; x_4 = l___regBuiltin_USize_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10576____closed__6; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -48647,7 +48647,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_USize_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10615____closed__1; x_3 = l___regBuiltin_USize_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10615____closed__5; x_4 = l___regBuiltin_USize_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10615____closed__6; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -49672,7 +49672,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_USize_reduceGT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10654____closed__1; x_3 = l___regBuiltin_USize_reduceLT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10576____closed__5; x_4 = l___regBuiltin_USize_reduceGT_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10654____closed__2; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } @@ -50697,7 +50697,7 @@ lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_2 = l___regBuiltin_USize_reduceGE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10693____closed__1; x_3 = l___regBuiltin_USize_reduceLE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10615____closed__5; x_4 = l___regBuiltin_USize_reduceGE_declare____x40_Lean_Meta_Tactic_Simp_BuiltinSimprocs_UInt___hyg_10693____closed__2; -x_5 = l_Lean_Meta_Simp_registerBuiltinSimprocNew(x_2, x_3, x_4, x_1); +x_5 = l_Lean_Meta_Simp_registerBuiltinSimproc(x_2, x_3, x_4, x_1); return x_5; } } diff --git a/stage0/stdlib/Lean/Meta/Tactic/Simp/Simproc.c b/stage0/stdlib/Lean/Meta/Tactic/Simp/Simproc.c index eb8446a067..7f0c3f195a 100644 --- a/stage0/stdlib/Lean/Meta/Tactic/Simp/Simproc.c +++ b/stage0/stdlib/Lean/Meta/Tactic/Simp/Simproc.c @@ -18,23 +18,27 @@ LEAN_EXPORT lean_object* l_Lean_AssocList_find_x3f___at_Lean_Meta_Simp_Simprocs_ LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____lambda__2___boxed(lean_object*, lean_object*); lean_object* l___private_Init_Util_0__outOfBounds___rarg(lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_eraseSimprocAttr(lean_object*, lean_object*, lean_object*, lean_object*); -LEAN_EXPORT lean_object* l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_instInhabitedSimprocDeclExtState; LEAN_EXPORT lean_object* l_Lean_Meta_Simp_SimprocEntry_try_x3f(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____lambda__3___boxed(lean_object*, lean_object*, lean_object*); lean_object* lean_mk_empty_array_with_capacity(lean_object*); +static lean_object* l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__2; +static lean_object* l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__4; +static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__4; size_t lean_usize_shift_right(size_t, size_t); +static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__5; LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAtAux___at_Lean_Meta_Simp_getSimprocDeclKeys_x3f___spec__5___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_simproc_x3f___spec__1___closed__10; -static lean_object* l_panic___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__13___closed__1; +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAtAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__4(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insert___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____spec__1(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_simproc_x3f___closed__1; lean_object* l_Lean_Meta_Simp_getDtConfig(lean_object*); static lean_object* l_Lean_Meta_Simp_registerSimproc___lambda__2___closed__1; +static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__1; uint8_t lean_usize_dec_le(size_t, size_t); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_simproc_x3f___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -LEAN_EXPORT lean_object* l_panic___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__13(lean_object*); static lean_object* l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____spec__2___closed__3; +static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__3; static lean_object* l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_simproc_x3f___spec__1___closed__8; size_t lean_uint64_to_usize(uint64_t); static lean_object* l_Lean_Meta_Simp_getSimprocFromDeclImpl___closed__1; @@ -44,80 +48,83 @@ static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____closed__2; static lean_object* l_Lean_Meta_Simp_simproc_x3f___closed__2; lean_object* l_Lean_Name_toString(lean_object*, uint8_t); +static lean_object* l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__3; LEAN_EXPORT lean_object* l_Lean_Meta_Simp_registerSimproc___lambda__3(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Array_qsort_sort___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____spec__6___boxed(lean_object*, lean_object*, lean_object*); lean_object* lean_array_push(lean_object*, lean_object*); -static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__1; LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____lambda__4(lean_object*, lean_object*); lean_object* l_Array_qpartition___rarg(lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1282____closed__1; size_t lean_usize_mul(size_t, size_t); lean_object* l_Lean_PersistentHashMap_insert___at_Lean_NameSSet_insert___spec__2(lean_object*, lean_object*, lean_object*); lean_object* lean_mk_array(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux_traverse___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____spec__3___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__7; LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____spec__2(lean_object*, size_t, size_t, lean_object*, lean_object*); static size_t l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____spec__2___closed__1; LEAN_EXPORT lean_object* l_Lean_Meta_Simp_getSimprocs___rarg___boxed(lean_object*, lean_object*); lean_object* lean_array_fget(lean_object*, lean_object*); lean_object* lean_array_fset(lean_object*, lean_object*, lean_object*); -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864_(lean_object*); LEAN_EXPORT lean_object* l_Std_Range_forIn_loop___at_Lean_Meta_Simp_SimprocEntry_try_x3f___spec__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Meta_Simp_Step_result(lean_object*); static lean_object* l_Lean_Meta_Simp_registerSimproc___closed__1; LEAN_EXPORT lean_object* l_Lean_ScopedEnvExtension_add___at_Lean_Meta_Simp_addSimprocAttr___spec__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201_(lean_object*); static lean_object* l_Lean_Meta_Simp_instInhabitedSimprocDecl___closed__1; -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_find_x3f___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__2(lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_instInhabitedSimprocDecl___closed__2; LEAN_EXPORT lean_object* l_Lean_Meta_Simp_registerSimproc___lambda__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_addSimprocBuiltinAttr___closed__2; LEAN_EXPORT lean_object* l_Lean_Meta_Simp_Simprocs_add___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__1; uint8_t l_Lean_Name_quickLt(lean_object*, lean_object*); +static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__7; static lean_object* l_Lean_Meta_Simp_eraseSimprocAttr___closed__3; LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____spec__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1061____closed__2; LEAN_EXPORT lean_object* l_Lean_Meta_Simp_getSimprocs___boxed(lean_object*); lean_object* l_Lean_stringToMessageData(lean_object*); static lean_object* l_Lean_Meta_Simp_registerBuiltinSimproc___lambda__2___closed__1; LEAN_EXPORT lean_object* l_Lean_Meta_Simp_toSimprocEntry(lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertVal_loop___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__10(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____closed__8; static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____closed__4; uint8_t l___private_Lean_Meta_DiscrTreeTypes_0__Lean_Meta_DiscrTree_beqKey____x40_Lean_Meta_DiscrTreeTypes___hyg_99_(lean_object*, lean_object*); -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAtCollisionNodeAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__8(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_simproc_x3f___lambda__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_getSimprocs___rarg(lean_object*, lean_object*); lean_object* l_Lean_ScopedEnvExtension_addEntry___rarg(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_registerScopedEnvExtensionUnsafe___rarg(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_preSimproc_x3f___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_registerSimproc(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__8; LEAN_EXPORT lean_object* l_Array_binSearchAux___at_Lean_Meta_Simp_getSimprocDeclKeys_x3f___spec__6___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_throwError___at_Lean_Meta_Simp_registerSimproc___spec__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Expr_appArg_x21(lean_object*); +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__3(lean_object*, size_t, lean_object*); LEAN_EXPORT uint8_t l_Lean_Meta_Simp_SimprocDecl_lt(lean_object*, lean_object*); static lean_object* l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_simproc_x3f___spec__1___closed__4; +LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643_(lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_registerBuiltinSimproc___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAtAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__4(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_initializing(lean_object*); -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insert___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__5(lean_object*, lean_object*, lean_object*); static lean_object* l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_simproc_x3f___spec__1___closed__7; +LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__2(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_simprocs; LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175_(lean_object*); static lean_object* l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_simproc_x3f___spec__1___closed__5; +LEAN_EXPORT lean_object* l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9___boxed(lean_object*, lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insert___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__5(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_eraseSimprocAttr___lambda__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_PersistentEnvExtension_modifyState___rarg(lean_object*, lean_object*, lean_object*); size_t lean_usize_of_nat(lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_simproc_x3f___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_postSimproc_x3f___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Array_reverse___rarg(lean_object*); -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__6___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__5; lean_object* l_Lean_ScopedEnvExtension_addScopedEntry___rarg(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_addSimprocBuiltinAttr___closed__1; -LEAN_EXPORT lean_object* l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_builtinSimprocsRef; LEAN_EXPORT lean_object* l_Lean_Meta_Simp_BuiltinSimprocs_procs___default; lean_object* lean_st_ref_take(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux_traverse___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____spec__3(size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_registerBuiltinSimproc___lambda__2___closed__2; -static lean_object* l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__1; LEAN_EXPORT lean_object* l_Lean_Meta_Simp_registerBuiltinSimproc___lambda__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_HashMapImp_expand___at_Lean_Meta_Simp_registerBuiltinSimproc___spec__8(lean_object*, lean_object*); uint8_t lean_nat_dec_eq(lean_object*, lean_object*); @@ -127,29 +134,30 @@ static lean_object* l_Lean_Meta_Simp_instInhabitedSimprocDeclExtState___closed__ LEAN_EXPORT lean_object* l_Lean_Meta_Simp_isBuiltinSimproc___boxed(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_throwError___at_Lean_Meta_Simp_Simprocs_add___spec__4(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_registerPersistentEnvExtensionUnsafe___rarg(lean_object*, lean_object*); +static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__2; lean_object* l_Lean_PersistentEnvExtension_getModuleEntries___rarg(lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__1___closed__1; static lean_object* l_Lean_Meta_Simp_addSimprocAttr___closed__1; -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAtAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__4___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT uint8_t l_Lean_Meta_Simp_instBEqSimprocEntry(lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_registerBuiltinSimproc___closed__2; +LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1061_(lean_object*); static lean_object* l_Lean_Meta_Simp_addSimprocAttr___closed__4; static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____closed__7; static lean_object* l_Lean_Meta_Simp_registerSimproc___lambda__3___closed__2; lean_object* lean_nat_div(lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux_traverse___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__7(size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_PersistentEnvExtension_getState___rarg(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____lambda__7___boxed(lean_object*); -static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__3; LEAN_EXPORT lean_object* l_Lean_AssocList_find_x3f___at_Lean_Meta_Simp_getSimprocDeclKeys_x3f___spec__2(lean_object*, lean_object*); -static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__8; LEAN_EXPORT lean_object* l_Lean_Meta_Simp_addSimprocBuiltinAttr___boxed(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_simproc_x3f___lambda__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_simproc_x3f___spec__1(uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, size_t, size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_registerSimproc___closed__2; +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__3___boxed(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____lambda__6___closed__1; LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____lambda__1(lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_postSimproc_x3f___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__2(lean_object*, lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_Array_binInsertM___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__11(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_panic___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__13(lean_object*); static lean_object* l_Lean_Meta_Simp_simproc_x3f___closed__5; lean_object* l_Lean_Meta_DiscrTree_empty(lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_registerSimproc___lambda__1(lean_object*, lean_object*, lean_object*); @@ -159,38 +167,34 @@ lean_object* l_Lean_throwError___at_Lean_registerTagAttribute___spec__1(lean_obj lean_object* l_Lean_PersistentHashMap_foldlMAux___at_Lean_MetavarContext_getExprAssignmentDomain___spec__2___rarg(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____closed__1; LEAN_EXPORT lean_object* l_Lean_AssocList_find_x3f___at_Lean_Meta_Simp_getSimprocDeclKeys_x3f___spec__2___boxed(lean_object*, lean_object*); -static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__2; lean_object* lean_st_mk_ref(lean_object*, lean_object*); -LEAN_EXPORT lean_object* l_Array_binInsertM___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__11___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____lambda__3(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_getSimprocs(lean_object*); static lean_object* l_Lean_Meta_Simp_getSimprocDeclKeys_x3f___lambda__1___closed__1; LEAN_EXPORT lean_object* l_Lean_Meta_Simp_instBEqSimprocEntry___boxed(lean_object*, lean_object*); lean_object* l_Lean_addMessageContextPartial___at_Lean_Core_instAddMessageContextCoreM___spec__1(lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__3; lean_object* l_Lean_ScopedEnvExtension_modifyState___rarg(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_throwError___at_Lean_Meta_Simp_registerSimproc___spec__1(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_isSimproc(lean_object*, lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_Array_binInsertM___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__11___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); uint8_t l_Lean_Meta_DiscrTree_Key_lt(lean_object*, lean_object*); lean_object* l_Lean_isTracingEnabledFor___at_Lean_Meta_Simp_congrArgs___spec__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_getSimprocDeclKeys_x3f___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__6(lean_object*, size_t, size_t, lean_object*, lean_object*); +static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__6; +LEAN_EXPORT lean_object* l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_AssocList_replace___at_Lean_Meta_Simp_registerBuiltinSimproc___spec__11(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_Simprocs_add(lean_object*, lean_object*, uint8_t, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAtCollisionNodeAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____spec__4(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_AssocList_contains___at_Lean_Meta_Simp_registerBuiltinSimproc___spec__7___boxed(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_simproc_x3f___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____closed__3; -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__3___boxed(lean_object*, lean_object*, lean_object*); -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_registerBuiltinSimprocNew(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_HashMap_insert___at_Lean_Meta_Simp_registerBuiltinSimproc___spec__6(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_SimprocDeclExtState_newEntries___default___closed__2; LEAN_EXPORT lean_object* l_Lean_ScopedEnvExtension_add___at_Lean_Meta_Simp_addSimprocAttr___spec__2(lean_object*, lean_object*, uint8_t, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_find_x3f___at_Lean_Meta_Simp_getSimprocDeclKeys_x3f___spec__3(lean_object*, lean_object*); uint8_t lean_name_eq(lean_object*, lean_object*); -LEAN_EXPORT lean_object* l_Array_binInsertM___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__11(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux_traverse___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__7___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Name_str___override(lean_object*, lean_object*); -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux_traverse___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__7(size_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_mkHashMap___at_Lean_Meta_Simp_BuiltinSimprocs_procs___default___spec__1(lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_BuiltinSimprocs_keys___default; uint8_t l_Lean_Option_get___at___private_Lean_Util_Profile_0__Lean_get__profiler___spec__1(lean_object*, lean_object*); @@ -204,52 +208,52 @@ LEAN_EXPORT lean_object* l_Lean_AssocList_replace___at_Lean_Meta_Simp_registerBu LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_simproc_x3f___spec__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____closed__13; lean_object* l_Lean_Expr_appFn_x21(lean_object*); +LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__4(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_instToFormatSimprocEntry(lean_object*); -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422_(lean_object*); -static lean_object* l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__2; lean_object* lean_usize_to_nat(size_t); size_t lean_hashmap_mk_idx(lean_object*, uint64_t); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____lambda__6(lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_registerSimproc___lambda__2(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__3___boxed(lean_object*); static lean_object* l_Array_qsort_sort___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____spec__6___closed__1; lean_object* l_Lean_MessageData_ofExpr(lean_object*); +LEAN_EXPORT lean_object* l___private_Init_Data_Array_BinSearch_0__Array_binInsertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__12(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); extern lean_object* l_Lean_Meta_Simp_instInhabitedSimprocs; LEAN_EXPORT lean_object* l_Lean_Meta_Simp_postSimproc_x3f(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_Simprocs_erase(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_simproc_x3f___spec__1___lambda__1(lean_object*, uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l___private_Init_Data_Array_BinSearch_0__Array_binInsertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__12___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_addSimprocAttr___closed__2; static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____closed__9; LEAN_EXPORT lean_object* l_Lean_Meta_Simp_Simprocs_add___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux_traverse___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__7___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_simproc_x3f___closed__4; static lean_object* l_Lean_Meta_Simp_simproc_x3f___closed__8; static lean_object* l_Lean_Meta_Simp_simproc_x3f___closed__3; static lean_object* l_Lean_Meta_Simp_eraseSimprocAttr___lambda__2___closed__1; -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__1(lean_object*); +LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__1(lean_object*); lean_object* l_Lean_Meta_Simp_Step_addExtraArgs(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____lambda__2(lean_object*, lean_object*); extern lean_object* l_Lean_Meta_DiscrTree_instInhabitedKey; LEAN_EXPORT lean_object* l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_simproc_x3f___spec__1___lambda__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__2; static lean_object* l_Lean_Meta_Simp_eraseSimprocAttr___closed__4; +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__6___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_registerBuiltinSimproc(lean_object*, lean_object*, lean_object*, lean_object*); -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__4(lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__3(lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_isBuiltinSimproc(lean_object*, lean_object*, lean_object*, lean_object*); uint8_t lean_nat_dec_eq(lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_SimprocDeclExtState_newEntries___default___closed__3; static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____closed__6; -static lean_object* l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__4; uint8_t lean_nat_dec_lt(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_getSimprocFromDeclImpl(lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Meta_Simp_recordSimpTheorem(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_throwError___at_Lean_Meta_Simp_addSimprocAttr___spec__1(lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__3; -static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__4; lean_object* l_id___rarg___boxed(lean_object*); lean_object* l_Lean_Meta_DiscrTree_instInhabitedDiscrTree(lean_object*); -LEAN_EXPORT lean_object* l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9___boxed(lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__4; static size_t l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____spec__2___closed__2; -static lean_object* l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9___closed__1; lean_object* l_Lean_PersistentHashMap_mkEmptyEntries(lean_object*, lean_object*); -static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__5; LEAN_EXPORT lean_object* l_Lean_Meta_Simp_builtinSimprocDeclsRef; static lean_object* l_Lean_Meta_Simp_registerSimproc___lambda__3___closed__3; uint64_t l_Lean_Name_hash___override(lean_object*); @@ -264,37 +268,39 @@ lean_object* l_Lean_Option_register___at_Lean_initFn____x40_Lean_Util_Profile___ lean_object* l_Lean_ScopedEnvExtension_getState___rarg(lean_object*, lean_object*, lean_object*); lean_object* l_Array_insertAt_x21___rarg(lean_object*, lean_object*, lean_object*); lean_object* lean_nat_mul(lean_object*, lean_object*); -LEAN_EXPORT lean_object* l___private_Init_Data_Array_BinSearch_0__Array_binInsertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__12(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAtAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__4___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_AssocList_foldlM___at_Lean_Meta_Simp_registerBuiltinSimproc___spec__10(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_HashMapImp_expand___at_Lean_Meta_Simp_registerBuiltinSimproc___spec__2(lean_object*, lean_object*); lean_object* l_Lean_Environment_evalConstCheck___rarg(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_PersistentHashMap_mkCollisionNode___rarg(lean_object*, lean_object*, lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAtCollisionNodeAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__8(lean_object*, lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_simproc_x3f___closed__6; static lean_object* l_Lean_Meta_Simp_registerSimproc___lambda__3___closed__1; lean_object* l_Lean_PersistentHashMap_mkEmptyEntriesArray(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_instInhabitedBuiltinSimprocs; LEAN_EXPORT lean_object* l_Lean_HashMapImp_moveEntries___at_Lean_Meta_Simp_registerBuiltinSimproc___spec__3(lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__6; lean_object* l_Lean_ScopedEnvExtension_addLocalEntry___rarg(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_getSimprocDeclKeys_x3f___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_Environment_getModuleIdxFor_x3f(lean_object*, lean_object*); lean_object* l_Array_back___rarg(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_SimprocDecl_lt___boxed(lean_object*, lean_object*); static lean_object* l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_simproc_x3f___spec__1___closed__1; -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__6(lean_object*, size_t, size_t, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_eraseSimprocAttr___lambda__1(lean_object*, lean_object*); +static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__1___closed__1; +static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1061____closed__1; +static lean_object* l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9___closed__1; LEAN_EXPORT lean_object* l_Lean_Meta_Simp_addSimprocBuiltinAttr(lean_object*, uint8_t, lean_object*, lean_object*); size_t lean_usize_sub(size_t, size_t); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_registerBuiltinSimproc___lambda__1(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_mkHashMapImp___rarg(lean_object*); LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_foldlM___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____spec__5(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_throwError___at_Lean_Meta_Simp_Simprocs_add___spec__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__3; static lean_object* l_Lean_Meta_Simp_preSimproc_x3f___closed__1; LEAN_EXPORT lean_object* l_Lean_AssocList_find_x3f___at_Lean_Meta_Simp_Simprocs_add___spec__3(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAux___at_Lean_Meta_Simp_getSimprocDeclKeys_x3f___spec__4(lean_object*, size_t, lean_object*); size_t lean_usize_add(size_t, size_t); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_addSimprocAttr___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__3(lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_preSimproc_x3f(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* lean_array_uget(lean_object*, size_t); static lean_object* l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_simproc_x3f___spec__1___closed__9; @@ -302,7 +308,6 @@ static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc static lean_object* l_Lean_Meta_Simp_instInhabitedBuiltinSimprocs___closed__2; LEAN_EXPORT lean_object* l_Lean_HashMapImp_find_x3f___at_Lean_Meta_Simp_Simprocs_add___spec__2(lean_object*, lean_object*); lean_object* lean_io_error_to_string(lean_object*); -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1282_(lean_object*); static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____closed__12; lean_object* lean_st_ref_set(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_simproc_x3f(uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -314,6 +319,7 @@ LEAN_EXPORT uint8_t l_Lean_AssocList_contains___at_Lean_Meta_Simp_registerBuilti LEAN_EXPORT lean_object* l_Lean_HashMapImp_moveEntries___at_Lean_Meta_Simp_registerBuiltinSimproc___spec__9(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_HashMap_insert___at_Lean_Meta_Simp_registerBuiltinSimproc___spec__1(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_AssocList_contains___at_Lean_Meta_Simp_isBuiltinSimproc___spec__2___boxed(lean_object*, lean_object*); +LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*); lean_object* lean_string_append(lean_object*, lean_object*); uint8_t l_Lean_PersistentHashMap_contains___at_Lean_NameSSet_contains___spec__3(lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_addSimprocAttr___closed__3; @@ -322,11 +328,7 @@ lean_object* lean_array_get_size(lean_object*); LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAux___at_Lean_Meta_Simp_getSimprocDeclKeys_x3f___spec__4___boxed(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_HashMapImp_find_x3f___at_Lean_Meta_Simp_getSimprocDeclKeys_x3f___spec__1(lean_object*, lean_object*); uint8_t lean_nat_dec_le(lean_object*, lean_object*); -static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__1; uint8_t lean_usize_dec_lt(size_t, size_t); -LEAN_EXPORT lean_object* l___private_Init_Data_Array_BinSearch_0__Array_binInsertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__12___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__2___boxed(lean_object*, lean_object*, lean_object*, lean_object*); -static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__2; LEAN_EXPORT uint8_t l_Lean_AssocList_contains___at_Lean_Meta_Simp_isBuiltinSimproc___spec__2(lean_object*, lean_object*); lean_object* l_Lean_Meta_Simp_getConfig___rarg(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l_Lean_PersistentHashMap_erase___at_Lean_Meta_addInstanceEntry___spec__18(lean_object*, lean_object*); @@ -336,10 +338,9 @@ lean_object* l_Lean_PersistentHashMap_getCollisionNodeSize___rarg(lean_object*); lean_object* l_EStateM_bind___rarg(lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_mkHashMap___at_Lean_Meta_Simp_BuiltinSimprocs_procs___default___spec__1___boxed(lean_object*); static lean_object* l_Lean_Meta_Simp_eraseSimprocAttr___closed__1; -static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1282____closed__2; -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__3(lean_object*, size_t, lean_object*); uint8_t l_Lean_Exception_isRuntime(lean_object*); extern lean_object* l_Lean_PersistentHashMap_empty___at_Lean_Meta_Instances_erased___default___spec__1; +static lean_object* l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__1; LEAN_EXPORT lean_object* l_Lean_HashMapImp_contains___at_Lean_Meta_Simp_isBuiltinSimproc___spec__1___boxed(lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_mkHashMap___at_Lean_Meta_Simp_BuiltinSimprocs_keys___default___spec__1___boxed(lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_Simprocs_add___lambda__1(lean_object*, uint8_t, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); @@ -350,10 +351,10 @@ lean_object* l_Lean_MessageData_ofName(lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_simprocDeclExt; lean_object* lean_array_get(lean_object*, lean_object*, lean_object*); static lean_object* l_Lean_Meta_Simp_eraseSimprocAttr___closed__2; -static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__5; LEAN_EXPORT lean_object* l_Array_binSearchAux___at_Lean_Meta_Simp_getSimprocDeclKeys_x3f___spec__6(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); +static lean_object* l_panic___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__13___closed__1; +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_find_x3f___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__2(lean_object*, lean_object*); uint64_t l_Lean_Meta_DiscrTree_Key_hash(lean_object*); -LEAN_EXPORT lean_object* l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertVal_loop___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__10(lean_object*, lean_object*, lean_object*); static lean_object* l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_simproc_x3f___spec__1___closed__3; static lean_object* l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_simproc_x3f___spec__1___closed__6; static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____closed__5; @@ -361,10 +362,8 @@ static lean_object* l_Lean_Meta_Simp_simproc_x3f___closed__7; LEAN_EXPORT lean_object* l_Lean_throwError___at_Lean_Meta_Simp_Simprocs_add___spec__4___boxed(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Lean_Meta_Simp_simprocExtension; static lean_object* l_Lean_Meta_Simp_registerBuiltinSimproc___closed__1; -static lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__4; LEAN_EXPORT lean_object* l_Array_qsort_sort___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____spec__6(lean_object*, lean_object*, lean_object*); size_t lean_usize_land(size_t, size_t); -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__3___boxed(lean_object*); LEAN_EXPORT lean_object* l_Lean_throwError___at_Lean_Meta_Simp_Simprocs_add___spec__1(lean_object*, lean_object*, lean_object*, lean_object*); LEAN_EXPORT lean_object* l_Std_Range_forIn_loop___at_Lean_Meta_Simp_SimprocEntry_try_x3f___spec__1___boxed(lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*, lean_object*); lean_object* l___private_Lean_Data_HashMap_0__Lean_numBucketsForCapacity(lean_object*); @@ -3142,57 +3141,6 @@ lean_dec(x_4); return x_6; } } -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_registerBuiltinSimprocNew(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) { -_start: -{ -lean_object* x_5; lean_object* x_6; uint8_t x_7; -x_5 = l_Lean_initializing(x_4); -x_6 = lean_ctor_get(x_5, 0); -lean_inc(x_6); -x_7 = lean_unbox(x_6); -lean_dec(x_6); -if (x_7 == 0) -{ -uint8_t x_8; -lean_dec(x_3); -lean_dec(x_2); -lean_dec(x_1); -x_8 = !lean_is_exclusive(x_5); -if (x_8 == 0) -{ -lean_object* x_9; lean_object* x_10; -x_9 = lean_ctor_get(x_5, 0); -lean_dec(x_9); -x_10 = l_Lean_Meta_Simp_registerBuiltinSimproc___closed__2; -lean_ctor_set_tag(x_5, 1); -lean_ctor_set(x_5, 0, x_10); -return x_5; -} -else -{ -lean_object* x_11; lean_object* x_12; lean_object* x_13; -x_11 = lean_ctor_get(x_5, 1); -lean_inc(x_11); -lean_dec(x_5); -x_12 = l_Lean_Meta_Simp_registerBuiltinSimproc___closed__2; -x_13 = lean_alloc_ctor(1, 2, 0); -lean_ctor_set(x_13, 0, x_12); -lean_ctor_set(x_13, 1, x_11); -return x_13; -} -} -else -{ -lean_object* x_14; lean_object* x_15; lean_object* x_16; -x_14 = lean_ctor_get(x_5, 1); -lean_inc(x_14); -lean_dec(x_5); -x_15 = lean_box(0); -x_16 = l_Lean_Meta_Simp_registerBuiltinSimproc___lambda__2(x_1, x_2, x_3, x_15, x_14); -return x_16; -} -} -} LEAN_EXPORT lean_object* l_Lean_throwError___at_Lean_Meta_Simp_registerSimproc___spec__1(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) { _start: { @@ -3643,7 +3591,7 @@ return x_16; } } } -static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1282____closed__1() { +static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1061____closed__1() { _start: { lean_object* x_1; @@ -3651,11 +3599,11 @@ x_1 = l_Lean_Meta_DiscrTree_empty(lean_box(0)); return x_1; } } -static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1282____closed__2() { +static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1061____closed__2() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; -x_1 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1282____closed__1; +x_1 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1061____closed__1; x_2 = l_Lean_PersistentHashMap_empty___at_Lean_Meta_Instances_erased___default___spec__1; x_3 = lean_alloc_ctor(0, 4, 0); lean_ctor_set(x_3, 0, x_1); @@ -3665,11 +3613,11 @@ lean_ctor_set(x_3, 3, x_2); return x_3; } } -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1282_(lean_object* x_1) { +LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1061_(lean_object* x_1) { _start: { lean_object* x_2; lean_object* x_3; uint8_t x_4; -x_2 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1282____closed__2; +x_2 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1061____closed__2; x_3 = lean_st_mk_ref(x_2, x_1); x_4 = !lean_is_exclusive(x_3); if (x_4 == 0) @@ -3812,7 +3760,7 @@ return x_16; } } } -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAtAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__4(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAtAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__4(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { _start: { lean_object* x_6; uint8_t x_7; @@ -3854,7 +3802,7 @@ return x_15; } } } -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__3(lean_object* x_1, size_t x_2, lean_object* x_3) { +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__3(lean_object* x_1, size_t x_2, lean_object* x_3) { _start: { if (lean_obj_tag(x_1) == 0) @@ -3925,14 +3873,14 @@ x_21 = lean_ctor_get(x_1, 1); lean_inc(x_21); lean_dec(x_1); x_22 = lean_unsigned_to_nat(0u); -x_23 = l_Lean_PersistentHashMap_findAtAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__4(x_20, x_21, lean_box(0), x_22, x_3); +x_23 = l_Lean_PersistentHashMap_findAtAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__4(x_20, x_21, lean_box(0), x_22, x_3); lean_dec(x_21); lean_dec(x_20); return x_23; } } } -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_find_x3f___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__2(lean_object* x_1, lean_object* x_2) { +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_find_x3f___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__2(lean_object* x_1, lean_object* x_2) { _start: { lean_object* x_3; uint64_t x_4; size_t x_5; lean_object* x_6; @@ -3941,12 +3889,12 @@ lean_inc(x_3); lean_dec(x_1); x_4 = l_Lean_Meta_DiscrTree_Key_hash(x_2); x_5 = lean_uint64_to_usize(x_4); -x_6 = l_Lean_PersistentHashMap_findAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__3(x_3, x_5, x_2); +x_6 = l_Lean_PersistentHashMap_findAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__3(x_3, x_5, x_2); lean_dec(x_2); return x_6; } } -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux_traverse___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__7(size_t x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux_traverse___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__7(size_t x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { _start: { lean_object* x_7; uint8_t x_8; @@ -3973,7 +3921,7 @@ x_17 = lean_usize_shift_right(x_12, x_16); x_18 = lean_unsigned_to_nat(1u); x_19 = lean_nat_add(x_5, x_18); lean_dec(x_5); -x_20 = l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__6(x_6, x_17, x_1, x_9, x_10); +x_20 = l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__6(x_6, x_17, x_1, x_9, x_10); x_4 = lean_box(0); x_5 = x_19; x_6 = x_20; @@ -3981,7 +3929,7 @@ goto _start; } } } -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAtCollisionNodeAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__8(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) { +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAtCollisionNodeAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__8(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) { _start: { lean_object* x_5; lean_object* x_6; lean_object* x_7; uint8_t x_8; @@ -4073,7 +4021,7 @@ return x_29; } } } -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__6(lean_object* x_1, size_t x_2, size_t x_3, lean_object* x_4, lean_object* x_5) { +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__6(lean_object* x_1, size_t x_2, size_t x_3, lean_object* x_4, lean_object* x_5) { _start: { if (lean_obj_tag(x_1) == 0) @@ -4186,7 +4134,7 @@ lean_object* x_35; size_t x_36; size_t x_37; lean_object* x_38; lean_object* x_3 x_35 = lean_ctor_get(x_15, 0); x_36 = lean_usize_shift_right(x_2, x_9); x_37 = lean_usize_add(x_3, x_8); -x_38 = l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__6(x_35, x_36, x_37, x_4, x_5); +x_38 = l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__6(x_35, x_36, x_37, x_4, x_5); lean_ctor_set(x_15, 0, x_38); x_39 = lean_array_fset(x_17, x_12, x_15); lean_dec(x_12); @@ -4201,7 +4149,7 @@ lean_inc(x_40); lean_dec(x_15); x_41 = lean_usize_shift_right(x_2, x_9); x_42 = lean_usize_add(x_3, x_8); -x_43 = l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__6(x_40, x_41, x_42, x_4, x_5); +x_43 = l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__6(x_40, x_41, x_42, x_4, x_5); x_44 = lean_alloc_ctor(1, 1, 0); lean_ctor_set(x_44, 0, x_43); x_45 = lean_array_fset(x_17, x_12, x_44); @@ -4317,7 +4265,7 @@ if (lean_is_exclusive(x_57)) { } x_73 = lean_usize_shift_right(x_2, x_50); x_74 = lean_usize_add(x_3, x_49); -x_75 = l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__6(x_71, x_73, x_74, x_4, x_5); +x_75 = l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__6(x_71, x_73, x_74, x_4, x_5); if (lean_is_scalar(x_72)) { x_76 = lean_alloc_ctor(1, 1, 0); } else { @@ -4354,7 +4302,7 @@ if (x_82 == 0) { lean_object* x_83; lean_object* x_84; size_t x_85; uint8_t x_86; x_83 = lean_unsigned_to_nat(0u); -x_84 = l_Lean_PersistentHashMap_insertAtCollisionNodeAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__8(x_1, x_83, x_4, x_5); +x_84 = l_Lean_PersistentHashMap_insertAtCollisionNodeAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__8(x_1, x_83, x_4, x_5); x_85 = 7; x_86 = lean_usize_dec_le(x_85, x_3); if (x_86 == 0) @@ -4373,7 +4321,7 @@ x_91 = lean_ctor_get(x_84, 1); lean_inc(x_91); lean_dec(x_84); x_92 = l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____spec__2___closed__3; -x_93 = l_Lean_PersistentHashMap_insertAux_traverse___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__7(x_3, x_90, x_91, lean_box(0), x_83, x_92); +x_93 = l_Lean_PersistentHashMap_insertAux_traverse___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__7(x_3, x_90, x_91, lean_box(0), x_83, x_92); lean_dec(x_91); lean_dec(x_90); return x_93; @@ -4400,7 +4348,7 @@ x_96 = lean_alloc_ctor(1, 2, 0); lean_ctor_set(x_96, 0, x_94); lean_ctor_set(x_96, 1, x_95); x_97 = lean_unsigned_to_nat(0u); -x_98 = l_Lean_PersistentHashMap_insertAtCollisionNodeAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__8(x_96, x_97, x_4, x_5); +x_98 = l_Lean_PersistentHashMap_insertAtCollisionNodeAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__8(x_96, x_97, x_4, x_5); x_99 = 7; x_100 = lean_usize_dec_le(x_99, x_3); if (x_100 == 0) @@ -4419,7 +4367,7 @@ x_105 = lean_ctor_get(x_98, 1); lean_inc(x_105); lean_dec(x_98); x_106 = l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____spec__2___closed__3; -x_107 = l_Lean_PersistentHashMap_insertAux_traverse___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__7(x_3, x_104, x_105, lean_box(0), x_97, x_106); +x_107 = l_Lean_PersistentHashMap_insertAux_traverse___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__7(x_3, x_104, x_105, lean_box(0), x_97, x_106); lean_dec(x_105); lean_dec(x_104); return x_107; @@ -4437,7 +4385,7 @@ return x_98; } } } -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insert___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__5(lean_object* x_1, lean_object* x_2, lean_object* x_3) { +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insert___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__5(lean_object* x_1, lean_object* x_2, lean_object* x_3) { _start: { uint8_t x_4; @@ -4450,7 +4398,7 @@ x_6 = lean_ctor_get(x_1, 1); x_7 = l_Lean_Meta_DiscrTree_Key_hash(x_2); x_8 = lean_uint64_to_usize(x_7); x_9 = 1; -x_10 = l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__6(x_5, x_8, x_9, x_2, x_3); +x_10 = l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__6(x_5, x_8, x_9, x_2, x_3); x_11 = lean_unsigned_to_nat(1u); x_12 = lean_nat_add(x_6, x_11); lean_dec(x_6); @@ -4469,7 +4417,7 @@ lean_dec(x_1); x_15 = l_Lean_Meta_DiscrTree_Key_hash(x_2); x_16 = lean_uint64_to_usize(x_15); x_17 = 1; -x_18 = l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__6(x_13, x_16, x_17, x_2, x_3); +x_18 = l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__6(x_13, x_16, x_17, x_2, x_3); x_19 = lean_unsigned_to_nat(1u); x_20 = lean_nat_add(x_14, x_19); lean_dec(x_14); @@ -4480,7 +4428,7 @@ return x_21; } } } -LEAN_EXPORT lean_object* l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertVal_loop___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__10(lean_object* x_1, lean_object* x_2, lean_object* x_3) { +LEAN_EXPORT lean_object* l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertVal_loop___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__10(lean_object* x_1, lean_object* x_2, lean_object* x_3) { _start: { lean_object* x_4; uint8_t x_5; @@ -4531,7 +4479,7 @@ return x_16; } } } -LEAN_EXPORT lean_object* l___private_Init_Data_Array_BinSearch_0__Array_binInsertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__12(lean_object* x_1, lean_object* x_2, 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_EXPORT lean_object* l___private_Init_Data_Array_BinSearch_0__Array_binInsertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__12(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7, lean_object* x_8) { _start: { lean_object* x_9; lean_object* x_10; lean_object* x_11; lean_object* x_12; lean_object* x_13; lean_object* x_14; uint8_t x_15; @@ -4584,7 +4532,7 @@ x_24 = lean_ctor_get(x_19, 0); lean_dec(x_24); x_25 = lean_unsigned_to_nat(1u); x_26 = lean_nat_add(x_3, x_25); -x_27 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9(x_1, x_2, x_26, x_23); +x_27 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9(x_1, x_2, x_26, x_23); lean_dec(x_26); lean_ctor_set(x_19, 1, x_27); lean_ctor_set(x_19, 0, x_4); @@ -4600,7 +4548,7 @@ lean_inc(x_29); lean_dec(x_19); x_30 = lean_unsigned_to_nat(1u); x_31 = lean_nat_add(x_3, x_30); -x_32 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9(x_1, x_2, x_31, x_29); +x_32 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9(x_1, x_2, x_31, x_29); lean_dec(x_31); x_33 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_33, 0, x_4); @@ -4651,7 +4599,7 @@ return x_43; } } } -LEAN_EXPORT lean_object* l_Array_binInsertM___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__11(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { +LEAN_EXPORT lean_object* l_Array_binInsertM___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__11(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { _start: { uint8_t x_7; @@ -4702,7 +4650,7 @@ x_21 = lean_ctor_get(x_16, 0); lean_dec(x_21); x_22 = lean_unsigned_to_nat(1u); x_23 = lean_nat_add(x_3, x_22); -x_24 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9(x_1, x_2, x_23, x_20); +x_24 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9(x_1, x_2, x_23, x_20); lean_dec(x_23); lean_ctor_set(x_16, 1, x_24); lean_ctor_set(x_16, 0, x_4); @@ -4717,7 +4665,7 @@ lean_inc(x_26); lean_dec(x_16); x_27 = lean_unsigned_to_nat(1u); x_28 = lean_nat_add(x_3, x_27); -x_29 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9(x_1, x_2, x_28, x_26); +x_29 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9(x_1, x_2, x_28, x_26); lean_dec(x_28); x_30 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_30, 0, x_4); @@ -4772,7 +4720,7 @@ x_44 = lean_ctor_get(x_40, 1); x_45 = lean_ctor_get(x_40, 0); lean_dec(x_45); x_46 = lean_nat_add(x_3, x_37); -x_47 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9(x_1, x_2, x_46, x_44); +x_47 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9(x_1, x_2, x_46, x_44); lean_dec(x_46); lean_ctor_set(x_40, 1, x_47); lean_ctor_set(x_40, 0, x_4); @@ -4787,7 +4735,7 @@ x_49 = lean_ctor_get(x_40, 1); lean_inc(x_49); lean_dec(x_40); x_50 = lean_nat_add(x_3, x_37); -x_51 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9(x_1, x_2, x_50, x_49); +x_51 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9(x_1, x_2, x_50, x_49); lean_dec(x_50); x_52 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_52, 0, x_4); @@ -4805,7 +4753,7 @@ x_54 = lean_array_get_size(x_5); x_55 = lean_unsigned_to_nat(1u); x_56 = lean_nat_sub(x_54, x_55); lean_dec(x_54); -x_57 = l___private_Init_Data_Array_BinSearch_0__Array_binInsertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__12(x_1, x_2, x_3, x_4, x_5, x_6, x_8, x_56); +x_57 = l___private_Init_Data_Array_BinSearch_0__Array_binInsertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__12(x_1, x_2, x_3, x_4, x_5, x_6, x_8, x_56); return x_57; } } @@ -4860,7 +4808,7 @@ return x_72; } } } -static lean_object* _init_l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9___closed__1() { +static lean_object* _init_l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9___closed__1() { _start: { lean_object* x_1; lean_object* x_2; @@ -4871,7 +4819,7 @@ lean_ctor_set(x_2, 1, x_1); return x_2; } } -LEAN_EXPORT lean_object* l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) { +LEAN_EXPORT lean_object* l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) { _start: { uint8_t x_5; @@ -4888,7 +4836,7 @@ if (x_9 == 0) { lean_object* x_10; lean_object* x_11; x_10 = lean_unsigned_to_nat(0u); -x_11 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertVal_loop___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__10(x_6, x_2, x_10); +x_11 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertVal_loop___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__10(x_6, x_2, x_10); lean_ctor_set(x_4, 0, x_11); return x_4; } @@ -4896,12 +4844,12 @@ else { lean_object* x_12; lean_object* x_13; lean_object* x_14; lean_object* x_15; x_12 = lean_array_fget(x_1, x_3); -x_13 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9___closed__1; +x_13 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9___closed__1; lean_inc(x_12); x_14 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_14, 0, x_12); lean_ctor_set(x_14, 1, x_13); -x_15 = l_Array_binInsertM___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__11(x_1, x_2, x_3, x_12, x_7, x_14); +x_15 = l_Array_binInsertM___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__11(x_1, x_2, x_3, x_12, x_7, x_14); lean_ctor_set(x_4, 1, x_15); return x_4; } @@ -4921,7 +4869,7 @@ if (x_19 == 0) { lean_object* x_20; lean_object* x_21; lean_object* x_22; x_20 = lean_unsigned_to_nat(0u); -x_21 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertVal_loop___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__10(x_16, x_2, x_20); +x_21 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertVal_loop___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__10(x_16, x_2, x_20); x_22 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_22, 0, x_21); lean_ctor_set(x_22, 1, x_17); @@ -4931,12 +4879,12 @@ else { lean_object* x_23; lean_object* x_24; lean_object* x_25; lean_object* x_26; lean_object* x_27; x_23 = lean_array_fget(x_1, x_3); -x_24 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9___closed__1; +x_24 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9___closed__1; lean_inc(x_23); x_25 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_25, 0, x_23); lean_ctor_set(x_25, 1, x_24); -x_26 = l_Array_binInsertM___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__11(x_1, x_2, x_3, x_23, x_17, x_25); +x_26 = l_Array_binInsertM___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__11(x_1, x_2, x_3, x_23, x_17, x_25); x_27 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_27, 0, x_16); lean_ctor_set(x_27, 1, x_26); @@ -4945,7 +4893,7 @@ return x_27; } } } -static lean_object* _init_l_panic___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__13___closed__1() { +static lean_object* _init_l_panic___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__13___closed__1() { _start: { lean_object* x_1; @@ -4953,16 +4901,16 @@ x_1 = l_Lean_Meta_DiscrTree_instInhabitedDiscrTree(lean_box(0)); return x_1; } } -LEAN_EXPORT lean_object* l_panic___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__13(lean_object* x_1) { +LEAN_EXPORT lean_object* l_panic___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__13(lean_object* x_1) { _start: { lean_object* x_2; lean_object* x_3; -x_2 = l_panic___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__13___closed__1; +x_2 = l_panic___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__13___closed__1; x_3 = lean_panic_fn(x_2, x_1); return x_3; } } -static lean_object* _init_l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__1() { +static lean_object* _init_l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__1() { _start: { lean_object* x_1; @@ -4970,7 +4918,7 @@ x_1 = lean_mk_string_from_bytes("Lean.Meta.DiscrTree", 19); return x_1; } } -static lean_object* _init_l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__2() { +static lean_object* _init_l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__2() { _start: { lean_object* x_1; @@ -4978,7 +4926,7 @@ x_1 = lean_mk_string_from_bytes("Lean.Meta.DiscrTree.insertCore", 30); return x_1; } } -static lean_object* _init_l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__3() { +static lean_object* _init_l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__3() { _start: { lean_object* x_1; @@ -4986,20 +4934,20 @@ x_1 = lean_mk_string_from_bytes("invalid key sequence", 20); return x_1; } } -static lean_object* _init_l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__4() { +static lean_object* _init_l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__4() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; -x_1 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__1; -x_2 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__2; +x_1 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__1; +x_2 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__2; x_3 = lean_unsigned_to_nat(438u); x_4 = lean_unsigned_to_nat(23u); -x_5 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__3; +x_5 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__3; x_6 = l___private_Init_Util_0__mkPanicMessageWithDecl(x_1, x_2, x_3, x_4, x_5); return x_6; } } -LEAN_EXPORT lean_object* l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1(lean_object* x_1, lean_object* x_2, lean_object* x_3) { +LEAN_EXPORT lean_object* l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1(lean_object* x_1, lean_object* x_2, lean_object* x_3) { _start: { uint8_t x_4; @@ -5018,14 +4966,14 @@ x_8 = l_Lean_Meta_DiscrTree_instInhabitedKey; x_9 = l___private_Init_Util_0__outOfBounds___rarg(x_8); lean_inc(x_9); lean_inc(x_1); -x_10 = l_Lean_PersistentHashMap_find_x3f___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__2(x_1, x_9); +x_10 = l_Lean_PersistentHashMap_find_x3f___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__2(x_1, x_9); if (lean_obj_tag(x_10) == 0) { lean_object* x_11; lean_object* x_12; lean_object* x_13; x_11 = lean_unsigned_to_nat(1u); x_12 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_createNodes___rarg(x_2, x_3, x_11); lean_dec(x_2); -x_13 = l_Lean_PersistentHashMap_insert___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__5(x_1, x_9, x_12); +x_13 = l_Lean_PersistentHashMap_insert___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__5(x_1, x_9, x_12); return x_13; } else @@ -5035,9 +4983,9 @@ x_14 = lean_ctor_get(x_10, 0); lean_inc(x_14); lean_dec(x_10); x_15 = lean_unsigned_to_nat(1u); -x_16 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9(x_2, x_3, x_15, x_14); +x_16 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9(x_2, x_3, x_15, x_14); lean_dec(x_2); -x_17 = l_Lean_PersistentHashMap_insert___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__5(x_1, x_9, x_16); +x_17 = l_Lean_PersistentHashMap_insert___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__5(x_1, x_9, x_16); return x_17; } } @@ -5047,14 +4995,14 @@ lean_object* x_18; lean_object* x_19; x_18 = lean_array_fget(x_2, x_6); lean_inc(x_18); lean_inc(x_1); -x_19 = l_Lean_PersistentHashMap_find_x3f___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__2(x_1, x_18); +x_19 = l_Lean_PersistentHashMap_find_x3f___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__2(x_1, x_18); if (lean_obj_tag(x_19) == 0) { lean_object* x_20; lean_object* x_21; lean_object* x_22; x_20 = lean_unsigned_to_nat(1u); x_21 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_createNodes___rarg(x_2, x_3, x_20); lean_dec(x_2); -x_22 = l_Lean_PersistentHashMap_insert___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__5(x_1, x_18, x_21); +x_22 = l_Lean_PersistentHashMap_insert___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__5(x_1, x_18, x_21); return x_22; } else @@ -5064,9 +5012,9 @@ x_23 = lean_ctor_get(x_19, 0); lean_inc(x_23); lean_dec(x_19); x_24 = lean_unsigned_to_nat(1u); -x_25 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9(x_2, x_3, x_24, x_23); +x_25 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9(x_2, x_3, x_24, x_23); lean_dec(x_2); -x_26 = l_Lean_PersistentHashMap_insert___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__5(x_1, x_18, x_25); +x_26 = l_Lean_PersistentHashMap_insert___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__5(x_1, x_18, x_25); return x_26; } } @@ -5077,13 +5025,13 @@ lean_object* x_27; lean_object* x_28; lean_dec(x_3); lean_dec(x_2); lean_dec(x_1); -x_27 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__4; -x_28 = l_panic___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__13(x_27); +x_27 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__4; +x_28 = l_panic___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__13(x_27); return x_28; } } } -static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__1___closed__1() { +static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__1___closed__1() { _start: { lean_object* x_1; @@ -5091,11 +5039,11 @@ x_1 = l_Lean_Meta_Simp_builtinSimprocsRef; return x_1; } } -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__1(lean_object* x_1) { +LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__1(lean_object* x_1) { _start: { lean_object* x_2; lean_object* x_3; uint8_t x_4; -x_2 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__1___closed__1; +x_2 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__1___closed__1; x_3 = lean_st_ref_get(x_2, x_1); x_4 = !lean_is_exclusive(x_3); if (x_4 == 0) @@ -5117,7 +5065,7 @@ return x_7; } } } -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__2(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) { +LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__2(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) { _start: { lean_object* x_5; @@ -5125,7 +5073,7 @@ x_5 = l_Lean_Meta_Simp_toSimprocEntry(x_2, x_3, x_4); return x_5; } } -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__3(lean_object* x_1) { +LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__3(lean_object* x_1) { _start: { lean_object* x_2; @@ -5134,7 +5082,7 @@ lean_inc(x_2); return x_2; } } -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__4(lean_object* x_1, lean_object* x_2) { +LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__4(lean_object* x_1, lean_object* x_2) { _start: { lean_object* x_3; uint8_t x_4; @@ -5152,7 +5100,7 @@ x_6 = lean_ctor_get(x_1, 0); x_7 = lean_ctor_get(x_3, 1); lean_inc(x_7); lean_dec(x_3); -x_8 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1(x_6, x_7, x_2); +x_8 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1(x_6, x_7, x_2); lean_ctor_set(x_1, 0, x_8); return x_1; } @@ -5171,7 +5119,7 @@ lean_dec(x_1); x_13 = lean_ctor_get(x_3, 1); lean_inc(x_13); lean_dec(x_3); -x_14 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1(x_9, x_13, x_2); +x_14 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1(x_9, x_13, x_2); x_15 = lean_alloc_ctor(0, 4, 0); lean_ctor_set(x_15, 0, x_14); lean_ctor_set(x_15, 1, x_10); @@ -5191,7 +5139,7 @@ x_17 = lean_ctor_get(x_1, 1); x_18 = lean_ctor_get(x_3, 1); lean_inc(x_18); lean_dec(x_3); -x_19 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1(x_17, x_18, x_2); +x_19 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1(x_17, x_18, x_2); lean_ctor_set(x_1, 1, x_19); return x_1; } @@ -5210,7 +5158,7 @@ lean_dec(x_1); x_24 = lean_ctor_get(x_3, 1); lean_inc(x_24); lean_dec(x_3); -x_25 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1(x_21, x_24, x_2); +x_25 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1(x_21, x_24, x_2); x_26 = lean_alloc_ctor(0, 4, 0); lean_ctor_set(x_26, 0, x_20); lean_ctor_set(x_26, 1, x_25); @@ -5221,7 +5169,7 @@ return x_26; } } } -static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__1() { +static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__1() { _start: { lean_object* x_1; @@ -5229,49 +5177,49 @@ x_1 = lean_mk_string_from_bytes("simproc", 7); return x_1; } } -static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__2() { +static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__2() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__1; +x_2 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__1; x_3 = l_Lean_Name_str___override(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__3() { +static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__3() { _start: { lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__1), 1, 0); +x_1 = lean_alloc_closure((void*)(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__1), 1, 0); return x_1; } } -static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__4() { +static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__4() { _start: { lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__2___boxed), 4, 0); +x_1 = lean_alloc_closure((void*)(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__2___boxed), 4, 0); return x_1; } } -static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__5() { +static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__5() { _start: { lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__3___boxed), 1, 0); +x_1 = lean_alloc_closure((void*)(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__3___boxed), 1, 0); return x_1; } } -static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__6() { +static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__6() { _start: { lean_object* x_1; -x_1 = lean_alloc_closure((void*)(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__4), 2, 0); +x_1 = lean_alloc_closure((void*)(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__4), 2, 0); return x_1; } } -static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__7() { +static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__7() { _start: { lean_object* x_1; @@ -5279,16 +5227,16 @@ x_1 = lean_alloc_closure((void*)(l_id___rarg___boxed), 1, 0); return x_1; } } -static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__8() { +static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__8() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; lean_object* x_6; lean_object* x_7; -x_1 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__2; -x_2 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__3; -x_3 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__4; -x_4 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__5; -x_5 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__6; -x_6 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__7; +x_1 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__2; +x_2 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__3; +x_3 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__4; +x_4 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__5; +x_5 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__6; +x_6 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__7; x_7 = lean_alloc_ctor(0, 6, 0); lean_ctor_set(x_7, 0, x_1); lean_ctor_set(x_7, 1, x_2); @@ -5299,50 +5247,50 @@ lean_ctor_set(x_7, 5, x_6); return x_7; } } -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422_(lean_object* x_1) { +LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201_(lean_object* x_1) { _start: { lean_object* x_2; lean_object* x_3; -x_2 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__8; +x_2 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__8; x_3 = l_Lean_registerScopedEnvExtensionUnsafe___rarg(x_2, x_1); return x_3; } } -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAtAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__4___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAtAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__4___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { _start: { lean_object* x_6; -x_6 = l_Lean_PersistentHashMap_findAtAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__4(x_1, x_2, x_3, x_4, x_5); +x_6 = l_Lean_PersistentHashMap_findAtAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__4(x_1, x_2, x_3, x_4, x_5); lean_dec(x_5); lean_dec(x_2); lean_dec(x_1); return x_6; } } -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__3___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) { +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_findAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__3___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3) { _start: { size_t x_4; lean_object* x_5; x_4 = lean_unbox_usize(x_2); lean_dec(x_2); -x_5 = l_Lean_PersistentHashMap_findAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__3(x_1, x_4, x_3); +x_5 = l_Lean_PersistentHashMap_findAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__3(x_1, x_4, x_3); lean_dec(x_3); return x_5; } } -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux_traverse___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__7___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux_traverse___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__7___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { _start: { size_t x_7; lean_object* x_8; x_7 = lean_unbox_usize(x_1); lean_dec(x_1); -x_8 = l_Lean_PersistentHashMap_insertAux_traverse___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__7(x_7, x_2, x_3, x_4, x_5, x_6); +x_8 = l_Lean_PersistentHashMap_insertAux_traverse___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__7(x_7, x_2, x_3, x_4, x_5, x_6); lean_dec(x_3); lean_dec(x_2); return x_8; } } -LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__6___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { +LEAN_EXPORT lean_object* l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__6___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5) { _start: { size_t x_6; size_t x_7; lean_object* x_8; @@ -5350,54 +5298,54 @@ x_6 = lean_unbox_usize(x_2); lean_dec(x_2); x_7 = lean_unbox_usize(x_3); lean_dec(x_3); -x_8 = l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__6(x_1, x_6, x_7, x_4, x_5); +x_8 = l_Lean_PersistentHashMap_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__6(x_1, x_6, x_7, x_4, x_5); return x_8; } } -LEAN_EXPORT lean_object* l___private_Init_Data_Array_BinSearch_0__Array_binInsertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__12___boxed(lean_object* x_1, lean_object* x_2, 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_EXPORT lean_object* l___private_Init_Data_Array_BinSearch_0__Array_binInsertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__12___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6, lean_object* x_7, lean_object* x_8) { _start: { lean_object* x_9; -x_9 = l___private_Init_Data_Array_BinSearch_0__Array_binInsertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__12(x_1, x_2, x_3, x_4, x_5, x_6, x_7, x_8); +x_9 = l___private_Init_Data_Array_BinSearch_0__Array_binInsertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__12(x_1, x_2, x_3, x_4, x_5, x_6, x_7, x_8); lean_dec(x_3); lean_dec(x_1); return x_9; } } -LEAN_EXPORT lean_object* l_Array_binInsertM___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__11___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { +LEAN_EXPORT lean_object* l_Array_binInsertM___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__11___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4, lean_object* x_5, lean_object* x_6) { _start: { lean_object* x_7; -x_7 = l_Array_binInsertM___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__11(x_1, x_2, x_3, x_4, x_5, x_6); +x_7 = l_Array_binInsertM___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__11(x_1, x_2, x_3, x_4, x_5, x_6); lean_dec(x_3); lean_dec(x_1); return x_7; } } -LEAN_EXPORT lean_object* l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) { +LEAN_EXPORT lean_object* l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) { _start: { lean_object* x_5; -x_5 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9(x_1, x_2, x_3, x_4); +x_5 = l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9(x_1, x_2, x_3, x_4); lean_dec(x_3); lean_dec(x_1); return x_5; } } -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__2___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) { +LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__2___boxed(lean_object* x_1, lean_object* x_2, lean_object* x_3, lean_object* x_4) { _start: { lean_object* x_5; -x_5 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__2(x_1, x_2, x_3, x_4); +x_5 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__2(x_1, x_2, x_3, x_4); lean_dec(x_1); return x_5; } } -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__3___boxed(lean_object* x_1) { +LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__3___boxed(lean_object* x_1) { _start: { lean_object* x_2; -x_2 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__3(x_1); +x_2 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__3(x_1); lean_dec(x_1); return x_2; } @@ -6203,7 +6151,7 @@ lean_object* x_13; lean_object* x_14; lean_object* x_15; lean_object* x_16; lean x_13 = lean_ctor_get(x_11, 0); lean_inc(x_13); lean_dec(x_11); -x_14 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__1___closed__1; +x_14 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__1___closed__1; x_15 = lean_st_ref_take(x_14, x_9); x_16 = lean_ctor_get(x_15, 0); lean_inc(x_16); @@ -6223,7 +6171,7 @@ lean_ctor_set_uint8(x_20, sizeof(void*)*2, x_2); x_21 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_21, 0, x_20); lean_ctor_set(x_21, 1, x_3); -x_22 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1(x_19, x_13, x_21); +x_22 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1(x_19, x_13, x_21); lean_ctor_set(x_16, 0, x_22); x_23 = lean_st_ref_set(x_14, x_16, x_17); x_24 = !lean_is_exclusive(x_23); @@ -6265,7 +6213,7 @@ lean_ctor_set_uint8(x_32, sizeof(void*)*2, x_2); x_33 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_33, 0, x_32); lean_ctor_set(x_33, 1, x_3); -x_34 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1(x_28, x_13, x_33); +x_34 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1(x_28, x_13, x_33); x_35 = lean_alloc_ctor(0, 4, 0); lean_ctor_set(x_35, 0, x_34); lean_ctor_set(x_35, 1, x_29); @@ -6300,7 +6248,7 @@ lean_object* x_41; lean_object* x_42; lean_object* x_43; lean_object* x_44; lean x_41 = lean_ctor_get(x_11, 0); lean_inc(x_41); lean_dec(x_11); -x_42 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__1___closed__1; +x_42 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__1___closed__1; x_43 = lean_st_ref_take(x_42, x_9); x_44 = lean_ctor_get(x_43, 0); lean_inc(x_44); @@ -6320,7 +6268,7 @@ lean_ctor_set_uint8(x_48, sizeof(void*)*2, x_2); x_49 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_49, 0, x_48); lean_ctor_set(x_49, 1, x_3); -x_50 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1(x_47, x_41, x_49); +x_50 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1(x_47, x_41, x_49); lean_ctor_set(x_44, 1, x_50); x_51 = lean_st_ref_set(x_42, x_44, x_45); x_52 = !lean_is_exclusive(x_51); @@ -6362,7 +6310,7 @@ lean_ctor_set_uint8(x_60, sizeof(void*)*2, x_2); x_61 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_61, 0, x_60); lean_ctor_set(x_61, 1, x_3); -x_62 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1(x_57, x_41, x_61); +x_62 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1(x_57, x_41, x_61); x_63 = lean_alloc_ctor(0, 4, 0); lean_ctor_set(x_63, 0, x_56); lean_ctor_set(x_63, 1, x_62); @@ -6425,7 +6373,7 @@ lean_object* x_75; lean_object* x_76; lean_object* x_77; lean_object* x_78; lean x_75 = lean_ctor_get(x_72, 0); lean_inc(x_75); lean_dec(x_72); -x_76 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__1___closed__1; +x_76 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__1___closed__1; x_77 = lean_st_ref_take(x_76, x_70); x_78 = lean_ctor_get(x_77, 0); lean_inc(x_78); @@ -6458,7 +6406,7 @@ lean_ctor_set_uint8(x_85, sizeof(void*)*2, x_2); x_86 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_86, 0, x_85); lean_ctor_set(x_86, 1, x_3); -x_87 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1(x_80, x_75, x_86); +x_87 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1(x_80, x_75, x_86); if (lean_is_scalar(x_84)) { x_88 = lean_alloc_ctor(0, 4, 0); } else { @@ -6496,7 +6444,7 @@ lean_object* x_94; lean_object* x_95; lean_object* x_96; lean_object* x_97; lean x_94 = lean_ctor_get(x_72, 0); lean_inc(x_94); lean_dec(x_72); -x_95 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__1___closed__1; +x_95 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__1___closed__1; x_96 = lean_st_ref_take(x_95, x_70); x_97 = lean_ctor_get(x_96, 0); lean_inc(x_97); @@ -6529,7 +6477,7 @@ lean_ctor_set_uint8(x_104, sizeof(void*)*2, x_2); x_105 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_105, 0, x_104); lean_ctor_set(x_105, 1, x_3); -x_106 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1(x_100, x_94, x_105); +x_106 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1(x_100, x_94, x_105); if (lean_is_scalar(x_103)) { x_107 = lean_alloc_ctor(0, 4, 0); } else { @@ -6830,7 +6778,7 @@ lean_ctor_set_uint8(x_22, sizeof(void*)*2, x_2); x_23 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_23, 0, x_22); lean_ctor_set(x_23, 1, x_4); -x_24 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1(x_21, x_19, x_23); +x_24 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1(x_21, x_19, x_23); lean_ctor_set(x_3, 0, x_24); lean_ctor_set(x_8, 0, x_3); return x_8; @@ -6855,7 +6803,7 @@ lean_ctor_set_uint8(x_29, sizeof(void*)*2, x_2); x_30 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_30, 0, x_29); lean_ctor_set(x_30, 1, x_4); -x_31 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1(x_25, x_19, x_30); +x_31 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1(x_25, x_19, x_30); x_32 = lean_alloc_ctor(0, 4, 0); lean_ctor_set(x_32, 0, x_31); lean_ctor_set(x_32, 1, x_26); @@ -6900,7 +6848,7 @@ lean_ctor_set_uint8(x_40, sizeof(void*)*2, x_2); x_41 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_41, 0, x_40); lean_ctor_set(x_41, 1, x_4); -x_42 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1(x_35, x_34, x_41); +x_42 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1(x_35, x_34, x_41); if (lean_is_scalar(x_39)) { x_43 = lean_alloc_ctor(0, 4, 0); } else { @@ -6941,7 +6889,7 @@ lean_ctor_set_uint8(x_50, sizeof(void*)*2, x_2); x_51 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_51, 0, x_50); lean_ctor_set(x_51, 1, x_4); -x_52 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1(x_49, x_47, x_51); +x_52 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1(x_49, x_47, x_51); lean_ctor_set(x_3, 1, x_52); lean_ctor_set(x_8, 0, x_3); return x_8; @@ -6966,7 +6914,7 @@ lean_ctor_set_uint8(x_57, sizeof(void*)*2, x_2); x_58 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_58, 0, x_57); lean_ctor_set(x_58, 1, x_4); -x_59 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1(x_54, x_47, x_58); +x_59 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1(x_54, x_47, x_58); x_60 = lean_alloc_ctor(0, 4, 0); lean_ctor_set(x_60, 0, x_53); lean_ctor_set(x_60, 1, x_59); @@ -7011,7 +6959,7 @@ lean_ctor_set_uint8(x_68, sizeof(void*)*2, x_2); x_69 = lean_alloc_ctor(0, 2, 0); lean_ctor_set(x_69, 0, x_68); lean_ctor_set(x_69, 1, x_4); -x_70 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1(x_64, x_62, x_69); +x_70 = l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1(x_64, x_62, x_69); if (lean_is_scalar(x_67)) { x_71 = lean_alloc_ctor(0, 4, 0); } else { @@ -8668,7 +8616,7 @@ x_14 = l_Lean_Meta_Simp_simproc_x3f(x_13, x_2, x_3, x_4, x_5, x_6, x_7, x_8, x_9 return x_14; } } -static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__1() { +static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__1() { _start: { lean_object* x_1; @@ -8676,17 +8624,17 @@ x_1 = lean_mk_string_from_bytes("simprocs", 8); return x_1; } } -static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__2() { +static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__2() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; x_1 = lean_box(0); -x_2 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__1; +x_2 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__1; x_3 = l_Lean_Name_str___override(x_1, x_2); return x_3; } } -static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__3() { +static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__3() { _start: { lean_object* x_1; @@ -8694,13 +8642,13 @@ x_1 = lean_mk_string_from_bytes("Enable/disable `simproc`s (simplification proce return x_1; } } -static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__4() { +static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__4() { _start: { uint8_t x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_1 = 1; x_2 = l_Array_forInUnsafe_loop___at_Lean_Meta_Simp_simproc_x3f___spec__1___closed__9; -x_3 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__3; +x_3 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__3; x_4 = lean_box(x_1); x_5 = lean_alloc_ctor(0, 3, 0); lean_ctor_set(x_5, 0, x_4); @@ -8709,25 +8657,25 @@ lean_ctor_set(x_5, 2, x_3); return x_5; } } -static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__5() { +static lean_object* _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__5() { _start: { lean_object* x_1; lean_object* x_2; lean_object* x_3; lean_object* x_4; lean_object* x_5; x_1 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____closed__1; x_2 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____closed__2; x_3 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_175____closed__3; -x_4 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__1; +x_4 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__1; x_5 = l_Lean_Name_mkStr4(x_1, x_2, x_3, x_4); return x_5; } } -LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864_(lean_object* x_1) { +LEAN_EXPORT lean_object* l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643_(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_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__2; -x_3 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__4; -x_4 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__5; +x_2 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__2; +x_3 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__4; +x_4 = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__5; x_5 = l_Lean_Option_register___at_Lean_initFn____x40_Lean_Util_Profile___hyg_6____spec__1(x_2, x_3, x_4, x_1); return x_5; } @@ -8977,11 +8925,11 @@ l_Lean_Meta_Simp_registerSimproc___closed__1 = _init_l_Lean_Meta_Simp_registerSi lean_mark_persistent(l_Lean_Meta_Simp_registerSimproc___closed__1); l_Lean_Meta_Simp_registerSimproc___closed__2 = _init_l_Lean_Meta_Simp_registerSimproc___closed__2(); lean_mark_persistent(l_Lean_Meta_Simp_registerSimproc___closed__2); -l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1282____closed__1 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1282____closed__1(); -lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1282____closed__1); -l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1282____closed__2 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1282____closed__2(); -lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1282____closed__2); -if (builtin) {res = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1282_(lean_io_mk_world()); +l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1061____closed__1 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1061____closed__1(); +lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1061____closed__1); +l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1061____closed__2 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1061____closed__2(); +lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1061____closed__2); +if (builtin) {res = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1061_(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; l_Lean_Meta_Simp_builtinSimprocsRef = lean_io_result_get_value(res); lean_mark_persistent(l_Lean_Meta_Simp_builtinSimprocsRef); @@ -8990,37 +8938,37 @@ lean_dec_ref(res); lean_mark_persistent(l_Lean_Meta_Simp_getSimprocFromDeclImpl___closed__1); l_Lean_Meta_Simp_getSimprocFromDeclImpl___closed__2 = _init_l_Lean_Meta_Simp_getSimprocFromDeclImpl___closed__2(); lean_mark_persistent(l_Lean_Meta_Simp_getSimprocFromDeclImpl___closed__2); -l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9___closed__1 = _init_l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9___closed__1(); -lean_mark_persistent(l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__9___closed__1); -l_panic___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__13___closed__1 = _init_l_panic___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__13___closed__1(); -lean_mark_persistent(l_panic___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__13___closed__1); -l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__1 = _init_l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__1(); -lean_mark_persistent(l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__1); -l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__2 = _init_l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__2(); -lean_mark_persistent(l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__2); -l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__3 = _init_l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__3(); -lean_mark_persistent(l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__3); -l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__4 = _init_l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__4(); -lean_mark_persistent(l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____spec__1___closed__4); -l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__1___closed__1 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__1___closed__1(); -lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____lambda__1___closed__1); -l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__1 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__1(); -lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__1); -l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__2 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__2(); -lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__2); -l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__3 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__3(); -lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__3); -l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__4 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__4(); -lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__4); -l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__5 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__5(); -lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__5); -l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__6 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__6(); -lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__6); -l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__7 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__7(); -lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__7); -l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__8 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__8(); -lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422____closed__8); -if (builtin) {res = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1422_(lean_io_mk_world()); +l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9___closed__1 = _init_l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9___closed__1(); +lean_mark_persistent(l___private_Lean_Meta_DiscrTree_0__Lean_Meta_DiscrTree_insertAux___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__9___closed__1); +l_panic___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__13___closed__1 = _init_l_panic___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__13___closed__1(); +lean_mark_persistent(l_panic___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__13___closed__1); +l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__1 = _init_l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__1(); +lean_mark_persistent(l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__1); +l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__2 = _init_l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__2(); +lean_mark_persistent(l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__2); +l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__3 = _init_l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__3(); +lean_mark_persistent(l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__3); +l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__4 = _init_l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__4(); +lean_mark_persistent(l_Lean_Meta_DiscrTree_insertCore___at_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____spec__1___closed__4); +l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__1___closed__1 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__1___closed__1(); +lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____lambda__1___closed__1); +l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__1 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__1(); +lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__1); +l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__2 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__2(); +lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__2); +l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__3 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__3(); +lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__3); +l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__4 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__4(); +lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__4); +l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__5 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__5(); +lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__5); +l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__6 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__6(); +lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__6); +l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__7 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__7(); +lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__7); +l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__8 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__8(); +lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201____closed__8); +if (builtin) {res = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_1201_(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; l_Lean_Meta_Simp_simprocExtension = lean_io_result_get_value(res); lean_mark_persistent(l_Lean_Meta_Simp_simprocExtension); @@ -9083,17 +9031,17 @@ l_Lean_Meta_Simp_simproc_x3f___closed__7 = _init_l_Lean_Meta_Simp_simproc_x3f___ lean_mark_persistent(l_Lean_Meta_Simp_simproc_x3f___closed__7); l_Lean_Meta_Simp_simproc_x3f___closed__8 = _init_l_Lean_Meta_Simp_simproc_x3f___closed__8(); lean_mark_persistent(l_Lean_Meta_Simp_simproc_x3f___closed__8); -l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__1 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__1(); -lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__1); -l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__2 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__2(); -lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__2); -l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__3 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__3(); -lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__3); -l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__4 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__4(); -lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__4); -l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__5 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__5(); -lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864____closed__5); -if (builtin) {res = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2864_(lean_io_mk_world()); +l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__1 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__1(); +lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__1); +l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__2 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__2(); +lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__2); +l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__3 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__3(); +lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__3); +l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__4 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__4(); +lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__4); +l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__5 = _init_l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__5(); +lean_mark_persistent(l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643____closed__5); +if (builtin) {res = l_Lean_Meta_Simp_initFn____x40_Lean_Meta_Tactic_Simp_Simproc___hyg_2643_(lean_io_mk_world()); if (lean_io_result_is_error(res)) return res; l_Lean_Meta_Simp_simprocs = lean_io_result_get_value(res); lean_mark_persistent(l_Lean_Meta_Simp_simprocs);