HOL icon indicating copy to clipboard operation
HOL copied to clipboard

Add option to print brackets explicitly instead of relying on operator precedence

Open formrre opened this issue 6 years ago • 0 comments

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.

formrre avatar Dec 13 '18 11:12 formrre