Contained in grammar [silver:compiler:modification:list]
. Defined at silver/compiler/modification/list/List.sv line 3.
(Undocumented.)
Contained in grammar [silver:compiler:modification:list]
. Defined at silver/compiler/modification/list/List.sv line 5.
(Undocumented.)
concrete production listTypeExpr
(top::TypeExpr ::= '[' te::TypeExpr ']'
)
Contained in grammar [silver:compiler:modification:list]
. Defined at silver/compiler/modification/list/List.sv line 9.
(Undocumented.)
concrete production listCtrTypeExpr
(top::TypeExpr ::= '[' ']'
)
Contained in grammar [silver:compiler:modification:list]
. Defined at silver/compiler/modification/list/List.sv line 28.
(Undocumented.)
concrete production emptyList
(top::Expr ::= '[' ']'
)
Contained in grammar [silver:compiler:modification:list]
. Defined at silver/compiler/modification/list/List.sv line 45.
(Undocumented.)
concrete production consListOp
(top::Expr ::= h::Expr '::' t::Expr
)
Contained in grammar [silver:compiler:modification:list]
. Defined at silver/compiler/modification/list/List.sv line 56.
(Undocumented.)
concrete production fullList
(top::Expr ::= '[' es::Exprs ']'
)
Contained in grammar [silver:compiler:modification:list]
. Defined at silver/compiler/modification/list/List.sv line 69.
(Undocumented.)
synthesized attribute listtrans :: Expr
Contained in grammar [silver:compiler:modification:list]
. Defined at silver/compiler/modification/list/List.sv line 77.
(Undocumented.)
abstract production listType
(top::Type ::= el::Type
)
Contained in grammar [silver:compiler:modification:list]
. Defined at silver/compiler/modification/list/Type.sv line 6.
(Undocumented.)
abstract production listCtrType
(top::Type ::=
)
Contained in grammar [silver:compiler:modification:list]
. Defined at silver/compiler/modification/list/Type.sv line 15.
(Undocumented.)