StructuredEncryptionHeader_Compile

Class Version

java.lang.Object

StructuredEncryptionHeader_Compile.Version

public class Version
extends java.lang.Object

Field Summary

Fields

Modifier and Type	Field and Description
static byte	Witness

Constructor Summary

Constructors

Constructor and Description
Version()

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

Version

public Version()

Method Detail

defaultValue

public static byte defaultValue()

_typeDescriptor

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