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

ProtocolName

data class ProtocolName(val name: String) : Name, Comparable<ProtocolName>

The name of a cryptographic protocol.

A Protocol is (essentially) a ProtocolName applied to arguments.

Constructors

fun ProtocolName(name: String)

Functions

open operator override fun compareTo(other: ProtocolName): Int

open override fun toDocument(): Document

Properties

open override val name: String

open override val nameCategory: String