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

extensionProofs

fun CompilerContext.extensionProofs(subType: KotlinType, superType: KotlinType): List<ExtensionProof>fun CompilerContext.extensionProofs(): Map<Pair<KotlinType, KotlinType>, List<ExtensionProof>>

returns a Map, where the keys are from KotlinType -> to KotlinType and the values are the corresponding Proofs