Search

compiler-plugin / arrow.meta.plugins.proofs.phases / extensionProof

extensionProof

fun CompilerContext.extensionProof(subType: KotlinType, superType: KotlinType): ExtensionProof?

Do you like Arrow?

✖
Arrow Org
<
Join us at
>
slack.kotlinlang.org #arrow