Implement Filter equals method.#5210

Merged

tom-andersen merged 3 commits intomasterfrom

tomandersen/filterEquals

Jul 28, 2023

Commits on Jul 27, 2023

Commits on Jul 28, 2023

Fix format and PR feedback
tom-andersen
committed