chore: use String.ofList instead of String.mk in elaborator+kernel
#14477
| Job | Run time |
|---|---|
| 5s | |
| 5s |
String.ofList instead of String.mk in elaborator+kernel
#14477
| Job | Run time |
|---|---|
| 5s | |
| 5s |