search

prosyslab-classroom / cs348-information-security

61 stars 10 forks source link

[Question][Hw5] cmp function and filter function #150

Closed Maokami closed 3 years ago

Maokami commented 3 years ago

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 commented 3 years ago

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