compiler-plugin / arrow.meta.plugins.proofs.phases.resolve.cache / ProofsCache

ProofsCache

data class ProofsCache

Constructors

<init> ProofsCache(proofs: List<Proof>)

Properties

proofs val proofs: List<Proof>

Do you like Arrow?

Arrow Org
<