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

Package arrow.meta.plugins.proofs.phases.ir

Types

ProofCandidate data class ProofCandidate
ProofsIrCodegen class ProofsIrCodegen

Properties

typeSubstitutor val ProofCandidate.typeSubstitutor: NewTypeSubstitutorByConstructorMap

Do you like Arrow?

Arrow Org
<