compiler-plugin / arrow.meta.plugins.proofs.phases / givenProofCandidate
fun CompilerContext.givenProofCandidate(candidates: List<GivenProof>): GivenProof?
fun
CompilerContext
.givenProofCandidate(candidates:
List
<
GivenProof
>):
?
Do you like Arrow?