Zulip Chat Archive
Stream: Is there code for X?
Topic: pretty printing an expr
Chris Hughes (Jun 14 2020 at 15:55):
Is there a function that will print an expr in a readable way?
Gabriel Ebner (Jun 14 2020 at 15:57):
I assume you don't want tactic.pp. How about expr.to_raw_fmt?
Chris Hughes (Jun 14 2020 at 16:03):
I don't want to see the constructors to expr. I want to see 1 + 1, if i feed in `(1 + 1)
Gabriel Ebner (Jun 14 2020 at 16:05):
tactic.pp then?
Last updated: Dec 20 2023 at 11:08 UTC