class
SequenceConcatExprRepresents an assertion expression defined as a delayed concatenation of other expressions.
Base classes
- class AssertionExpr
- The base class for assertion expressions (sequences and properties).
Public types
- struct Element
- An element of a sequence concatenation.