After each source file is successfully loaded, the full path to the file is stored in the hash table loadedFiles. It is stored as the value, with the corresponding key being a small integer, consecutively assigned, starting at 0.
|
|
The object loadedFiles is a mutable hash table.
The source of this document is in Macaulay2Doc/ov_system.m2:1879:0.