compiler/io.github.aplcornell.viaduct.syntax/LabelVariable

LabelVariable

data class LabelVariable(val name: String) : Variable

A variable that binds a label.

Constructors

fun LabelVariable(name: String)

Functions

open override fun toDocument(): Document

Properties

open override val name: String

open override val nameCategory: String

Extensions

val LabelVariable.label: SecurityLattice<FreeDistributiveLattice<Component<Principal>>>