LabelLiteral

data class LabelLiteral(val name: Host) : LabelExpression

Constructors

Link copied to clipboard
fun LabelLiteral(name: Host)

Functions

Link copied to clipboard
open override fun interpret(): Label
Link copied to clipboard
open override fun rename(renamer: (String) -> String): LabelExpression
Link copied to clipboard
open override fun toDocument(): Document

Properties

Link copied to clipboard
val name: Host