Email Gateway (Dec 09 2023 at 20:55): Email Gateway (Dec 09 2023 at 20:55):From: David Fuenmayor <davfuenmayor@gmail.com>
Dear everyone:
Is there any way to tell the pretty-printer in the output panel to fold
(all or some given) definitions in the same way it folds abbreviations
automatically?
As a workaround I am currently doing "apply(fold mydefs)" but that feels a
bit cumbersome (e.g. I need to know the candidate definitions beforehand).
Moreover I cannot make such a trick work when inspecting terms (via "term"
keyword).
And what about pretty-printing of type_synonyms? Any tips?
Thanks a lot for your help!
David
Last updated: Apr 29 2024 at 01:08 UTC