[silver:compiler:extension:attrsection]

Contents of [silver:compiler:extension:attrsection]:

Defined in this grammar:

concrete production attributeSection   (top::Expr ::= '(' '.' q::QNameAttrOccur ')' )

Contained in grammar [silver:compiler:extension:attrsection]. Defined at silver/compiler/extension/attrsection/AttrSection.sv.md line 18.

(Undocumented.)