slang::ast::UniquenessConstraint class

Represents a constraint that enforces uniqueness of variables.