feat: add BitVec.[(getMsbD, msb)_extractLsb', (getLsbD, getMsbD, msb)_extractLsb] , add and_eq_decide, or_eq_decide, decide_eq_true_iff to bool_to_prop
#24835
| Job | Run time |
|---|---|
| 2s | |
| 1s | |
| 3s |