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

abstract production appendAssignExpr

###### top::AssignExpr ::= a1::AssignExpr a2::AssignExpr In file: Let.sv

concrete production assignExpr

###### top::AssignExpr ::= id::Name '::' t::Type '=' e::Expr In file: Let.sv

abstract production lexicalLocalReference

###### top::Expr ::= q::Decorated QName fi::ExprVertexInfo fd::[FlowVertex] In file: Let.sv

abstract production lexicalLocalDcl

###### top::DclInfo ::= sg::String sl::Location fn::String ty::TypeExp fi::ExprVertexInfo fd::[FlowVertex] In file: DclInfo.sv

function lexicalLocalDef

###### Def ::= sg::String sl::Location fn::String ty::TypeExp fi::ExprVertexInfo fd::[FlowVertex] In file: DclInfo.sv