What is the recommended way to print an evar from a high level component?
Evar.print seems to be low-level (i.e. does it handle evar names, etc?). Maybe @Pierre-Marie Pédrot knows?
(in fact it is a set of evars that I want to print)
I'd go for Printer.pr_existential_key I believe
but that seems to be just an alias for
Printer.pr_existential as well
none of these being documented, of course
Termops.pr_existential_key does seem to print the name, as I was looking for, thanks!
Last updated: Dec 06 2023 at 14:01 UTC