abstract production lexicalLocalDcl

top::DclInfo ::= sg::String sl::Location fn::String ty::Type fi::ExprVertexInfo fd::[FlowVertex]

In file: DclInfo.sv

function lexicalLocalDef

Def ::= sg::String sl::Location fn::String ty::Type fi::ExprVertexInfo fd::[FlowVertex]

In file: DclInfo.sv

concrete production letp_c

top::Expr ::= 'let' la::LetAssigns 'in' e::Expr 'end'

In file: Let.sv

nonterminal LetAssigns

In file: Let.sv

concrete production assignsListCons

top::LetAssigns ::= ae::AssignExpr ',' list::LetAssigns

In file: Let.sv

concrete production assignListSingle

top::LetAssigns ::= ae::AssignExpr

In file: Let.sv

abstract production letp

top::Expr ::= la::AssignExpr e::Expr

In file: Let.sv

nonterminal AssignExpr

In file: Let.sv

aspect production silver:modification:let_fix:assignExpr

top::silver:modification:let_fix:AssignExpr ::= id::silver:definition:core:Name _G_3::silver:definition:core:ColonColon_t t::silver:definition:type:syntax:TypeExpr _G_1::silver:definition:core:Equal_t e::silver:definition:core:Expr

In file: Let.sv

aspect production silver:modification:let_fix:appendAssignExpr

top::silver:modification:let_fix:AssignExpr ::= a1::silver:modification:let_fix:AssignExpr a2::silver:modification:let_fix:AssignExpr

In file: Let.sv

abstract production appendAssignExpr

top::AssignExpr ::= a1::AssignExpr a2::AssignExpr

In file: Let.sv

concrete production assignExpr

top::AssignExpr ::= id::Name '::' t::TypeExpr '=' e::Expr

In file: Let.sv

abstract production lexicalLocalReference

top::Expr ::= q::Decorated QName fi::ExprVertexInfo fd::[FlowVertex]

In file: Let.sv