The logic behind importing modules (DblParser/Import.ml) is generally well-written, but defines some auxiliary functions, that need to be better documented. Moreover, the imports variable sometimes means the set of imported modules, but in other places means the list of modules imported by a files. The names of variables should be more consistent.
The logic behind importing modules (
DblParser/Import.ml) is generally well-written, but defines some auxiliary functions, that need to be better documented. Moreover, theimportsvariable sometimes means the set of imported modules, but in other places means the list of modules imported by a files. The names of variables should be more consistent.