slang::ast::AssertionPortSymbol class

Represents a formal argument / port of an assertion construct, such as a sequence, property, or let construct.

Base classes

class Symbol