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
Base class for all symbols (logical code constructs) such as modules, types, functions, variables, etc.