[m-dev.] info about a module

[Zoltan Somogyi]

2021-08-12 17:17 GMT+10:00 "Julien Fischer" <jfischer at opturion.com>:
>> module_details?
> 
> module_properties, module_attributes?  (Details is shorter, however).

All those names suggest the type contains info that describes
the module's *inside*. I am looking for a name that says, or at least
implies, that it describes what is immediately *outside* the module.
For example, the maybe top module field says whether the given module
is alone in its source file, and two other fields give the dir name and
file name of that source file. None of that info is contained in the
module's parse tree, or in its augmented compilation unit.

Zoltan.