Skip to content

refactor: some Meta.Match.Match refactorings #19262

refactor: some Meta.Match.Match refactorings

refactor: some Meta.Match.Match refactorings #19262

check-lean-files

succeeded Oct 29, 2025 in 31s