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

refinementProofs

fun CompilerContext.refinementProofs(): Map<Pair<KotlinType, KotlinType>, List<RefinementProof>>

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

Do you like Arrow?

Arrow Org
<