abstract production listType

top::Type ::= el::Type

In file: Type.sv

concrete production listTypeExpr

top::TypeExpr ::= '[' te::TypeExpr ']'

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