Uses of Class
fmrisc.ProofNavigator.Syntax.LambdaTerm

Packages that use LambdaTerm

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of LambdaTerm in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return LambdaTerm

Modifier and Type	Method and Description
static LambdaTerm	Construct.lambdaTerm(TypedIdentifier[] variables, Expression base) construct lambda term of variables and base term