HOL
HOL copied to clipboard
Add option to print brackets explicitly instead of relying on operator precedence
I have found myself in a situation where thinking about operator precedence, while getting familiar with a new theory confuses me. It would be nice to have a set_trace option or something similar to print out all the brackets explicitly. For example it would print x*2+6
as (x*2)+6
.