jmlparser-core/com.github.javaparser.ast.jml.expr/JmlQuantifiedExpr/JmlBinder

JmlBinder

interface JmlBinder : JmlKeyword(source)

Inheritors

Functions

Link copied to clipboard
open fun asString(): String
Link copied to clipboard
abstract fun jmlSymbol(): String
Generated by Dokka
© 2026 Copyright