Skip to content

feat: allow anonymous equality proofs in match expressions #6983

feat: allow anonymous equality proofs in match expressions

feat: allow anonymous equality proofs in match expressions #6983