jmlparser-core/com.github.javaparser.ast.jml.expr/JmlLetExpr/JmlLetExpr

JmlLetExpr

constructor(variables: VariableDeclarationExpr, body: Expression)(source)

constructor(tokenRange: TokenRange, variables: VariableDeclarationExpr, body: Expression)(source)

This constructor is used by the parser and is considered private.