[silver:compiler:extension:deriving]
Contents of [silver:compiler:extension:deriving]
:
Defined in this grammar:
Contained in grammar [silver:compiler:extension:deriving]
. Defined at silver/compiler/extension/deriving/Derive.sv line 3.
(Undocumented.)
concrete production deriveTCsOnNTListDcl_c
(top::AGDcl ::= 'derive' tcs::NameList 'on' nts::NameList ';'
)
Contained in grammar [silver:compiler:extension:deriving]
. Defined at silver/compiler/extension/deriving/Derive.sv line 7.
(Undocumented.)
Contained in grammar [silver:compiler:extension:deriving]
. Defined at silver/compiler/extension/deriving/Derive.sv line 15.
(Undocumented.)
Contained in grammar [silver:compiler:extension:deriving]
. Defined at silver/compiler/extension/deriving/Derive.sv line 30.
(Undocumented.)
Contained in grammar [silver:compiler:extension:deriving]
. Defined at silver/compiler/extension/deriving/Derive.sv line 45.
(Undocumented.)
Contained in grammar [silver:compiler:extension:deriving]
. Defined at silver/compiler/extension/deriving/Derive.sv line 74.
(Undocumented.)
Contained in grammar [silver:compiler:extension:deriving]
. Defined at silver/compiler/extension/deriving/Derive.sv line 188.
(Undocumented.)
Contained in grammar [silver:compiler:extension:deriving]
. Defined at silver/compiler/extension/deriving/Derive.sv line 276.
(Undocumented.)