Re: [SOMEWHAT OFF-TOPIC] Definition Module is a Misnomer, how can we explain this?

[john o goyo]

On 2023-06-05 13:05, Benjamin Kowarsch wrote (in part):
[...]
> So, I would like to ask two things here:
>
> (1) what do people think about this messed up nomenclature?
>
> (2) can anybody think of a way to explain this problem away, some kind 
> of spin?

I have always regarded the definition module as the file that defines 
the interface to the module.

Sincerely,
john