[silver:compiler:extension:attrsection] Contents of [silver:compiler:extension:attrsection]: Defined in this grammar: Undocumented Items ... 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.)