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

Extensions for org.jetbrains.kotlin.psi.KtParameter

isGivenProof fun KtParameter.isGivenProof(): Boolean

Do you like Arrow?

Arrow Org
<