[Question][Hw5] cmp function and filter function

[Maokami]

Hello,

I have a question in the domain.ml : What is the difference between a cmp function and a filter function? (Is it necessary to implement cmp function?)

I thought the cmp function is an auxiliary for implementing the filter function, and please let me know if I misunderstood.

Thank you!

[Maokami]

I'm sorry, there's already been a related question.