Uses of Class
fmrisc.AST.LambdaTerm

Packages that use LambdaTerm
fmrisc.AST   
 

Uses of LambdaTerm in fmrisc.AST
 

Methods in fmrisc.AST that return LambdaTerm
static LambdaTerm Construct.lambdaTerm(TypedIdentifier[] variables, Expression base)
          construct lambda term of variables and base term