idea-plugin / arrow.meta.ide.plugins.proofs.markers / org.jetbrains.kotlin.psi.KtClass

Extensions for org.jetbrains.kotlin.psi.KtClass

markerMessage fun KtClass.markerMessage(): String

Do you like Arrow?

Arrow Org
<