Package | Description |
---|---|
fmrisc.ProofNavigator.Syntax |
Modifier and Type | Method and Description |
---|---|
static LetExpression |
Construct.letExpression(ValueDeclaration[] declarations,
Expression base)
construct let expressions of declarations and base expressions
|