compiler-plugin / arrow.meta.phases / CompilerContext / proofs

proofs

val ModuleDescriptor?.proofs: List<Proof>

Do you like Arrow?

Arrow Org
<