AuthorityDelegationDeclarationNode
fun AuthorityDelegationDeclarationNode(from: LabelNode, to: LabelNode, delegationProjection: DelegationProjection, sourceLocation: SourceLocation, comment: String?)
Parameters
from
The label that acts for the other label.
to
The other label.