Document some parts of ConstantEvaluator.
#720
| Job | Run time |
|---|---|
| 1m 15s | |
| 9s | |
| 41s | |
| 4m 13s | |
| 3m 5s | |
| 9m 23s |
ConstantEvaluator.
#720
| Job | Run time |
|---|---|
| 1m 15s | |
| 9s | |
| 41s | |
| 4m 13s | |
| 3m 5s | |
| 9m 23s |