|
|
|---|
|
|
|
|---|
Legacy -- Use scopestack instead. Module items are basically any named object that can occur within a module (except that we don't support, e.g., named blocks.)
This is a ``transparent'' sum type introduced using deftranssum. It is simply any one of the following types: