feat: make Nat.strongRecOn and Nat.caseStrongRecOn computable
#27296
| Job | Run time |
|---|---|
| 5s | |
| 5s |
Nat.strongRecOn and Nat.caseStrongRecOn computable
#27296
| Job | Run time |
|---|---|
| 5s | |
| 5s |