max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: update stage0

Browse source
This commit is contained in:
Leonardo de Moura 2024-01-02 05:58:15 -08:00 • committed by Sebastian Ullrich
parent 3a9b594fc5
commit 610fa69f15
6 changed files with 323 additions and 375 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Core.c generated
View file

@ -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;
}
}

20
stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.c generated
View file

@ -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;
}
}

26
stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Int.c generated
View file

@ -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;
}
}

26
stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Nat.c generated
View file

@ -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;
}
}

92
stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.c generated
View file

@ -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;
}
}

528
stage0/stdlib/Lean/Meta/Tactic/Simp/Simproc.c generated
View file

File diff suppressed because it is too large Load diff