abstract production lambdaParamDcl

###### top::DclInfo ::= sg::String sl::Location fn::String ty::TypeExp In file: DclInfo.sv

function lambdaParamDef

###### Def ::= sg::String sl::Location fn::String ty::TypeExp In file: DclInfo.sv

concrete production lambda_c

###### top::Expr ::= '\' params::ProductionRHS '->' e::Expr In file: Lambda.sv

abstract production lambdap

###### top::Expr ::= params::ProductionRHS e::Expr In file: Lambda.sv

attribute lambdaDefs

In file: Lambda.sv

attribute lambdaDefs

In file: Lambda.sv

aspect production productionRHSCons

###### top ::= h::ProductionRHSElem t::ProductionRHS In file: Lambda.sv

aspect production productionRHSNil

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

aspect production productionRHSElem

###### top ::= id::Name '::' t::Type In file: Lambda.sv

abstract production lambdaParamReference

###### top::Expr ::= q::Decorated QName In file: Lambda.sv