Make TyTy::TupleType::get_unit_type
cache its return value
#8099
Job | Run time |
---|---|
52m 8s | |
29m 43s | |
27m 43s | |
25m 35s | |
27m 39s | |
27m 40s | |
3h 10m 28s |
TyTy::TupleType::get_unit_type
cache its return value
#8099
Job | Run time |
---|---|
52m 8s | |
29m 43s | |
27m 43s | |
25m 35s | |
27m 39s | |
27m 40s | |
3h 10m 28s |