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

areTypesCoerced

fun CompilerContext?.areTypesCoerced(subType: KotlinType, supertype: KotlinType): Boolean

Do you like Arrow?

Arrow Org
<