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 |