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)
(genSymbols: StringAdd).self
(genSymbols: StringFormat).self
(genSymbols: ArrowAssoc[GenSymbols]).x
(Since version 2.10.0) Use leftOfArrow
instead
(genSymbols: Ensuring[GenSymbols]).x
(Since version 2.10.0) Use resultOfEnsuring
instead