Commit 2023-12-23 07:20 539b49a5

View on Github →

chore(Filter/NAry): use Filter.copy to define map₂ (#9217)

Estimated changes

modified def Filter.map₂