feat: add a Decidable instance for bif (cond)
#48300
| Job | Run time |
|---|---|
| 5s | |
| 5s |
Decidable instance for bif (cond)
#48300
| Job | Run time |
|---|---|
| 5s | |
| 5s |