slang::UniquenessConstraint class

Represents a constraint that enforces uniqueness of variables.