Hi all, is there a place for finding printing options? In particular, I am looking for an option to display evar numbers (or, better, raw constr if that's possible). Thanks!
Set Printing All?
Print Tables is what gives you all options, I think.
Most options are listed in the dedicated index of the reference manual and printing options usually start with
Printing, so that would be there: https://coq.inria.fr/refman/coq-optindex.html#cap-p
Nice! Thanks @Janno and @Théo Zimmermann !
Set Printing All doesn't print all ;-)
Indeed, and there are some terms (primitive projections for records without parameters, I think) which you cannot identify even when using all the available printing options.
Last updated: Jun 05 2023 at 09:01 UTC