slang::ForeachConstraint class

Represents a constraint that iterates over the elements of an array.