HostDeclarationNode
fun HostDeclarationNode(name: HostNode, authority: LabelNode, sourceLocation: SourceLocation)
Content copied to clipboard
Parameters
name
Host name.
authority
Label specifying the trust placed in this host.