StructuredEncryptionHeader_Compile

Class LegendByte

java.lang.Object

StructuredEncryptionHeader_Compile.LegendByte

public class LegendByte
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static byte	Witness

Constructor Summary

Constructors

Constructor and Description
LegendByte()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<java.lang.Byte>	_typeDescriptor()
static byte	defaultValue()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

Witness

public static byte Witness

Constructor Detail

LegendByte

public LegendByte()

Method Detail

defaultValue

public static byte defaultValue()

_typeDescriptor

public static dafny.TypeDescriptor<java.lang.Byte> _typeDescriptor()