Module eq

Utilities for checking equality of variables.

Traits

EqGadget

Specifies how to generate constraints that check for equality for two variables of type Self.