Struct eq

Used to signify that pred is an equality predicate.

struct eq(alias pred) ;

It must be a function over two arguments that returns a boolean if they are equal