jmlparser-core/com.github.javaparser.ast.jml.type

Package-level declarations

Types

Link copied to clipboard
open class JmlLogicType : Type, Jmlish
A primitive type in JML.
Generated by Dokka
© 2026 Copyright