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

variables

@NonNull

open fun variables(): @NonNull VariableDeclarationExpr(source)

open var variables: VariableDeclarationExpr(source)