Used to signify that pred is an equality predicate.
It must be a function over two arguments that returns a boolean if they are equal
See Implementation
Used to signify that pred is an equality predicate.
It must be a function over two arguments that returns a boolean if they are equal