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

Extensions for org.jetbrains.kotlin.descriptors.DeclarationDescriptor

proof fun DeclarationDescriptor.proof(ctx: CompilerContext): Proof?

Do you like Arrow?

Arrow Org
<