Change the definition of tagtype
from functype
into deftype
#271
Job | Run time |
---|---|
27s | |
1m 48s | |
25s | |
8m 16s | |
6s | |
27s | |
2m 44s | |
16s | |
14m 29s |
tagtype
from functype
into deftype
#271
Job | Run time |
---|---|
27s | |
1m 48s | |
25s | |
8m 16s | |
6s | |
27s | |
2m 44s | |
16s | |
14m 29s |