How can I access Top_printers in say retyping? Is it possible?
what for? it's a debug thing
Yeah for some quick and dirty printing
I guess I will have to load the debugger like the rest of the class
Ali Caglayan has marked this topic as resolved.
You can use Termops.Internal.print_constr_env
if you need to print rather than stepping in the debugger.
Last updated: Dec 07 2023 at 17:01 UTC