Use size_of/size_of_val from the prelude
#543
| Job | Run time |
|---|---|
| 15s | |
| 1m 34s | |
| 14s | |
| 2s | |
| 2m 5s |
size_of/size_of_val from the prelude
#543
| Job | Run time |
|---|---|
| 15s | |
| 1m 34s | |
| 14s | |
| 2s | |
| 2m 5s |