compiler-plugin / arrow.meta.plugins.proofs.phases.ir
ProofCandidate | data class ProofCandidate |
ProofsIrCodegen | class ProofsIrCodegen |
typeSubstitutor | val ProofCandidate .typeSubstitutor: NewTypeSubstitutorByConstructorMap |
Do you like Arrow?
✖