Reify a reference to a symbol
Symbol table of the reifee.
Symbol table of the reifee.
Keeps track of auxiliary symbols that are necessary for this reification session. These include: 1) Free vars (terms, types and existentials), 2) Non-locatable symbols (sometimes, e.g. for RefinedTypes, we need to reify these; to do that we create their local copies in the reificode) 3) Non-locatable symbols that are referred by #1, #2 and #3
Exposes three main methods:
1) syms that lists symbols belonging to the table,
2) symXXX family of methods that provide information about the symbols in the table,
3) encode that renders the table into a list of trees (recursively populating #3 and setting up initialization code for #1, #2 and #3)