slang::InstanceAssertionExpr class

Represents an instance of a named sequence or property within an assertion expression.