slang::AbortAssertionExpr class

Represents an abort (accept_on / reject_on) property expression.