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.