concrete production attributeDclAuto

###### top::AGDcl ::= 'autocopy' 'attribute' a::Name tl::BracketedOptTypeList '::' te::Type ';' In file: AutoCopy.sv

attribute isAutocopy

In file: DclInfo.sv

abstract production autocopyDcl

###### top::DclInfo ::= sg::String sl::Location fn::String bound::[TyVar] ty::TypeExp In file: DclInfo.sv

function autocopyDef

###### Def ::= sg::String sl::Location fn::String bound::[TyVar] ty::TypeExp In file: DclInfo.sv