Package edu.cornell.cs.apl.viaduct.syntax.values

Types

ByteVecValue
Link copied to clipboard
data class ByteVecValue(value: List<Byte>) : Value

A bytevec.

HostSetValue
Link copied to clipboard
class HostSetValue : Value, PersistentSet<Host>

A set of hosts.

HostValue
Link copied to clipboard
data class HostValue(value: Host) : Value

A host.

StringValue
Link copied to clipboard
data class StringValue(value: String) : Value

A string.