chore: redefine Nat.bit
Nat.div2
Nat.bodd
#61802
Job | Run time |
---|---|
34s | |
1m 9s | |
1m 43s |
Nat.bit
Nat.div2
Nat.bodd
#61802
Job | Run time |
---|---|
34s | |
1m 9s | |
1m 43s |