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::TypeExpr

In file: Lambda.sv

abstract production lambdaParamReference

top::Expr ::= q::Decorated QName

In file: Lambda.sv

abstract production lambdaParamDcl

top::DclInfo ::= sg::String sl::Location fn::String ty::Type

In file: DclInfo.sv

function lambdaParamDef

Def ::= sg::String sl::Location fn::String ty::Type

In file: DclInfo.sv