concrete production propagateAttrDcl

###### top::ProductionStmt ::= 'propagate' ns::NameList ';' In file: ProductionBody.sv

function makeArgs

###### [AppExpr] ::= loc::Location env::Decorated Env attrName::QName inputs::[NamedSignatureElement] In file: ProductionBody.sv

function makeAnnoArgs

###### [AnnoExpr] ::= loc::Location baseName::QName inputs::[NamedSignatureElement] In file: ProductionBody.sv

abstract production propagateOne

###### top::ProductionStmt ::= a::QName In file: ProductionBody.sv