concrete production listType

###### top::Type ::= '[' te::Type ']' In file: List.sv

concrete production emptyList

###### top::Expr ::= '[' ']' In file: List.sv

concrete production consListOp

###### top::Expr ::= h::Expr '::' t::Expr In file: List.sv

concrete production fullList

###### top::Expr ::= '[' es::Exprs ']' In file: List.sv

attribute listtrans

In file: List.sv

aspect production exprsEmpty

###### top ::= In file: List.sv

aspect production exprsSingle

###### top ::= e::Expr In file: List.sv

aspect production exprsCons

###### top ::= e1::Expr ',' e2::Exprs In file: List.sv

abstract production listPlusPlus

###### top::Expr ::= e1::Decorated Expr e2::Decorated Expr In file: List.sv

abstract production listLengthBouncer

###### top::Expr ::= e::Decorated Expr In file: List.sv

abstract production listTypeExp

###### top::TypeExp ::= el::TypeExp In file: TypeExp.sv