[ refactor ] make m ≤ n argument to `Data.Vec.Base.{truncate|padRig…
#5375
| Job | Run time |
|---|---|
| 42m 51s | |
| 42m 51s |
m ≤ n argument to `Data.Vec.Base.{truncate|padRig…
#5375
| Job | Run time |
|---|---|
| 42m 51s | |
| 42m 51s |