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
oh!
but that seems to be just an alias for Termops.pr_existential_key
, right?
wow, there's Printer.pr_evar
and 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: Oct 13 2024 at 01:02 UTC