search

nunchaku-inria / nunchaku

Model finder for higher-order logic
https://nunchaku-inria.github.io/nunchaku/
BSD 2-Clause "Simplified" License
42 stars 3 forks source link

precedence-based printers #3

Closed c-cube closed 7 years ago

c-cube commented 8 years ago

Use a numeric precedence for every construct (including each builtin) and give to every printer the current precedence, to put exactly the correct amount of parenthesis.