attribute isAutocopy

In file: DclInfo.sv

abstract production autocopyDcl

top::DclInfo ::= sg::String sl::Location fn::String bound::[TyVar] ty::Type

In file: DclInfo.sv

function autocopyDef

Def ::= sg::String sl::Location fn::String bound::[TyVar] ty::Type

In file: DclInfo.sv

concrete production attributeDclAuto

top::AGDcl ::= 'autocopy' 'attribute' a::Name tl::BracketedOptTypeExprs '::' te::TypeExpr ';'

In file: AutoCopy.sv