Use new symbol-overload(_, _)
attribute
#2442
Job | Run time |
---|---|
11m 33s | |
58s | |
56s | |
6s | |
13m 33s |
symbol-overload(_, _)
attribute
#2442
Job | Run time |
---|---|
11m 33s | |
58s | |
56s | |
6s | |
13m 33s |