Add a new flag print_types_of_subterms
#15
Job | Run time |
---|---|
7m 49s | |
7m 27s | |
15m 16s |
print_types_of_subterms
#15
Job | Run time |
---|---|
7m 49s | |
7m 27s | |
15m 16s |