Skip to content
Alloy

ModuleSymbolsDescriptor

Describes the symbols exported by a module.

Members

Section titled “Members”
defaultoptionalstring
namedoptionalNamedModuleDescriptor[]