Uses of Class
fmrisc.ProofNavigator.Syntax.LetType

Packages that use LetType

Package	Description
fmrisc.ProofNavigator.Syntax

Uses of LetType in fmrisc.ProofNavigator.Syntax

Methods in fmrisc.ProofNavigator.Syntax that return LetType

Modifier and Type	Method and Description
static LetType	Construct.letType(TypeDeclaration[] declarations, Type base) construct let type of declarations and base type