Change the definition of tagtype
from functype
into deftype
#111
Job | Run time |
---|---|
2m 57s | |
32s | |
31s | |
4m 0s |
tagtype
from functype
into deftype
#111
Job | Run time |
---|---|
2m 57s | |
32s | |
31s | |
4m 0s |