Okay, thanks a lot! One last question, what does the new names array in the Polymorphic_entry constructor represent? It doesn't exist in the previous version
the names of the bound universes for printing
they were in some global reference before
Got it. Thanks again!
Arpan Agrawal has marked this topic as resolved.
Last updated: Dec 05 2023 at 12:01 UTC