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

Package arrow.meta.plugins.proofs.phases.config

Functions

enableProofCallResolver fun Meta.enableProofCallResolver(): ExtensionPhase

Do you like Arrow?

Arrow Org
<