DynamoToStruct_Compile

Class __default

java.lang.Object

DynamoToStruct_Compile.__default

public class __default
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
__default()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<__default>	_typeDescriptor()
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>>	AttrToBytes(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue a, boolean prefix, java.math.BigInteger depth)
static Wrappers_Compile.Result<StructuredData,dafny.DafnySequence<? extends java.lang.Character>>	AttrToStructured(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue item)
static dafny.DafnySequence<? extends java.lang.Byte>	AttrToTypeId(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue a)
static Wrappers_Compile.Result<java.math.BigInteger,dafny.DafnySequence<? extends java.lang.Character>>	BigEndianToU32(dafny.DafnySequence<? extends java.lang.Byte> x)
static dafny.DafnySequence<? extends java.lang.Byte>	BINARY__SET()
static byte	BINARY__T()
static dafny.DafnySequence<? extends java.lang.Byte>	BINARY()
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>>	BinarySetAttrToBytes(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> bs)
static java.math.BigInteger	BOOL__LEN()
static byte	BOOLEAN__T()
static dafny.DafnySequence<? extends java.lang.Byte>	BOOLEAN()
static byte	BoolToUint8(boolean b)
static Wrappers_Compile.Result<AttrValueAndLength,dafny.DafnySequence<? extends java.lang.Character>>	BytesToAttr(dafny.DafnySequence<? extends java.lang.Byte> value, dafny.DafnySequence<? extends java.lang.Byte> typeId, boolean hasLen, java.math.BigInteger depth)
static boolean	CharLess(char x, char y)
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>>	CollectBinary(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> setToSerialize, dafny.DafnySequence<? extends java.lang.Byte> serialized)
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>>	CollectList(dafny.DafnySequence<? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> listToSerialize, java.math.BigInteger depth, dafny.DafnySequence<? extends java.lang.Byte> serialized)
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>>	CollectMap(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Byte>> mapToSerialize, dafny.DafnySequence<? extends java.lang.Byte> serialized)
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>>	CollectOrderedMapSubset(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> keys, dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Byte>> mapToSerialize, dafny.DafnySequence<? extends java.lang.Byte> serialized)
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>>	CollectString(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> setToSerialize, dafny.DafnySequence<? extends java.lang.Byte> serialized)
static Wrappers_Compile.Result<AttrValueAndLength,dafny.DafnySequence<? extends java.lang.Character>>	DeserializeBinarySet(dafny.DafnySequence<? extends java.lang.Byte> serialized, java.math.BigInteger remainingCount, java.math.BigInteger origSerializedSize, AttrValueAndLength resultSet)
static Wrappers_Compile.Result<AttrValueAndLength,dafny.DafnySequence<? extends java.lang.Character>>	DeserializeList(dafny.DafnySequence<? extends java.lang.Byte> serialized, java.math.BigInteger remainingCount, java.math.BigInteger depth, AttrValueAndLength resultList)
static Wrappers_Compile.Result<AttrValueAndLength,dafny.DafnySequence<? extends java.lang.Character>>	DeserializeMap(dafny.DafnySequence<? extends java.lang.Byte> serialized, java.math.BigInteger remainingCount, java.math.BigInteger depth, AttrValueAndLength resultMap)
static Wrappers_Compile.Result<AttrValueAndLength,dafny.DafnySequence<? extends java.lang.Character>>	DeserializeNumberSet(dafny.DafnySequence<? extends java.lang.Byte> serialized, java.math.BigInteger remainingCount, java.math.BigInteger origSerializedSize, AttrValueAndLength resultSet)
static Wrappers_Compile.Result<AttrValueAndLength,dafny.DafnySequence<? extends java.lang.Character>>	DeserializeStringSet(dafny.DafnySequence<? extends java.lang.Byte> serialized, java.math.BigInteger remainingCount, java.math.BigInteger origSerializedSize, AttrValueAndLength resultSet)
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>>	EncodeString(dafny.DafnySequence<? extends java.lang.Character> s)
static <__X,__Y> dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>>	FlattenErrors(dafny.TypeDescriptor<__X> _td___X, dafny.TypeDescriptor<__Y> _td___Y, dafny.DafnyMap<? extends __X,? extends Wrappers_Compile.Result<__Y,dafny.DafnySequence<? extends java.lang.Character>>> m)
static <__X,__Y> dafny.DafnyMap<? extends __X,? extends __Y>	FlattenValueMap(dafny.TypeDescriptor<__X> _td___X, dafny.TypeDescriptor<__Y> _td___Y, dafny.DafnyMap<? extends __X,? extends Wrappers_Compile.Result<__Y,dafny.DafnySequence<? extends java.lang.Character>>> m)
static <__T> boolean	IsUnique(dafny.TypeDescriptor<__T> _td___T, dafny.DafnySequence<? extends __T> s)
static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData>,Error>	ItemToStructured(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)
static java.math.BigInteger	LENGTH__LEN()
static byte	LIST__T()
static dafny.DafnySequence<? extends java.lang.Byte>	LIST()
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>>	ListAttrToBytes(dafny.DafnySequence<? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> l, java.math.BigInteger depth)
static <__T> Wrappers_Compile.Result<__T,Error>	MakeError(dafny.TypeDescriptor<__T> _td___T, dafny.DafnySequence<? extends java.lang.Character> s)
static byte	MAP__T()
static dafny.DafnySequence<? extends java.lang.Byte>	MAP()
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>>	MapAttrToBytes(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> m, java.math.BigInteger depth)
static <__T> Wrappers_Compile.Result<__T,Error>	MapError(dafny.TypeDescriptor<__T> _td___T, Wrappers_Compile.Result<__T,dafny.DafnySequence<? extends java.lang.Character>> r)
static byte	NULL__T()
static dafny.DafnySequence<? extends java.lang.Byte>	NULL()
static dafny.DafnySequence<? extends java.lang.Byte>	NUMBER__SET()
static byte	NUMBER__T()
static dafny.DafnySequence<? extends java.lang.Byte>	NUMBER()
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>>	NumberSetAttrToBytes(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> ns)
static java.math.BigInteger	PREFIX__LEN()
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>>	SerializeBinaryValue(dafny.DafnySequence<? extends java.lang.Byte> b)
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>>	SerializeMapItem(dafny.DafnySequence<? extends java.lang.Character> key, dafny.DafnySequence<? extends java.lang.Byte> value)
static byte	SET__T()
static <__X,__Y> Wrappers_Compile.Result<dafny.DafnyMap<? extends __X,? extends __Y>,dafny.DafnySequence<? extends java.lang.Character>>	SimplifyMapValue(dafny.TypeDescriptor<__X> _td___X, dafny.TypeDescriptor<__Y> _td___Y, dafny.DafnyMap<? extends __X,? extends Wrappers_Compile.Result<__Y,dafny.DafnySequence<? extends java.lang.Character>>> m)
static dafny.DafnySequence<? extends java.lang.Byte>	STRING__SET()
static byte	STRING__T()
static dafny.DafnySequence<? extends java.lang.Byte>	STRING()
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>>	StringSetAttrToBytes(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> ss)
static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue,dafny.DafnySequence<? extends java.lang.Character>>	StructuredToAttr(StructuredData s)
static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error>	StructuredToItem(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData> s)
static byte	TERM__T()
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>>	TopLevelAttributeToBytes(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue a)
java.lang.String	toString()
static java.math.BigInteger	TYPEID__LEN()
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>>	U32ToBigEndian(java.math.BigInteger x)

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

ItemToStructured

public static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData>,Error> ItemToStructured(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> item)

StructuredToItem

public static Wrappers_Compile.Result<dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue>,Error> StructuredToItem(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends StructuredData> s)

MakeError

public static <__T> Wrappers_Compile.Result<__T,Error> MakeError(dafny.TypeDescriptor<__T> _td___T,
                                                                 dafny.DafnySequence<? extends java.lang.Character> s)

MapError

public static <__T> Wrappers_Compile.Result<__T,Error> MapError(dafny.TypeDescriptor<__T> _td___T,
                                                                Wrappers_Compile.Result<__T,dafny.DafnySequence<? extends java.lang.Character>> r)

TopLevelAttributeToBytes

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>> TopLevelAttributeToBytes(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue a)

AttrToStructured

public static Wrappers_Compile.Result<StructuredData,dafny.DafnySequence<? extends java.lang.Character>> AttrToStructured(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue item)

StructuredToAttr

public static Wrappers_Compile.Result<software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue,dafny.DafnySequence<? extends java.lang.Character>> StructuredToAttr(StructuredData s)

AttrToTypeId

public static dafny.DafnySequence<? extends java.lang.Byte> AttrToTypeId(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue a)

CharLess

public static boolean CharLess(char x,
                               char y)

AttrToBytes

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>> AttrToBytes(software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue a,
                                                                                                                                                    boolean prefix,
                                                                                                                                                    java.math.BigInteger depth)

StringSetAttrToBytes

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>> StringSetAttrToBytes(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> ss)

NumberSetAttrToBytes

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>> NumberSetAttrToBytes(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> ns)

BinarySetAttrToBytes

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>> BinarySetAttrToBytes(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> bs)

MapAttrToBytes

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>> MapAttrToBytes(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> m,
                                                                                                                                                       java.math.BigInteger depth)

ListAttrToBytes

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>> ListAttrToBytes(dafny.DafnySequence<? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> l,
                                                                                                                                                        java.math.BigInteger depth)

U32ToBigEndian

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>> U32ToBigEndian(java.math.BigInteger x)

BigEndianToU32

public static Wrappers_Compile.Result<java.math.BigInteger,dafny.DafnySequence<? extends java.lang.Character>> BigEndianToU32(dafny.DafnySequence<? extends java.lang.Byte> x)

EncodeString

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>> EncodeString(dafny.DafnySequence<? extends java.lang.Character> s)

CollectString

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>> CollectString(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> setToSerialize,
                                                                                                                                                      dafny.DafnySequence<? extends java.lang.Byte> serialized)

SerializeBinaryValue

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>> SerializeBinaryValue(dafny.DafnySequence<? extends java.lang.Byte> b)

CollectBinary

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>> CollectBinary(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Byte>> setToSerialize,
                                                                                                                                                      dafny.DafnySequence<? extends java.lang.Byte> serialized)

CollectList

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>> CollectList(dafny.DafnySequence<? extends software.amazon.cryptography.services.dynamodb.internaldafny.types.AttributeValue> listToSerialize,
                                                                                                                                                    java.math.BigInteger depth,
                                                                                                                                                    dafny.DafnySequence<? extends java.lang.Byte> serialized)

SerializeMapItem

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>> SerializeMapItem(dafny.DafnySequence<? extends java.lang.Character> key,
                                                                                                                                                         dafny.DafnySequence<? extends java.lang.Byte> value)

CollectMap

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>> CollectMap(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Byte>> mapToSerialize,
                                                                                                                                                   dafny.DafnySequence<? extends java.lang.Byte> serialized)

CollectOrderedMapSubset

public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Byte>,dafny.DafnySequence<? extends java.lang.Character>> CollectOrderedMapSubset(dafny.DafnySequence<? extends dafny.DafnySequence<? extends java.lang.Character>> keys,
                                                                                                                                                                dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Byte>> mapToSerialize,
                                                                                                                                                                dafny.DafnySequence<? extends java.lang.Byte> serialized)

BoolToUint8

public static byte BoolToUint8(boolean b)

IsUnique

public static <__T> boolean IsUnique(dafny.TypeDescriptor<__T> _td___T,
                                     dafny.DafnySequence<? extends __T> s)

DeserializeBinarySet

public static Wrappers_Compile.Result<AttrValueAndLength,dafny.DafnySequence<? extends java.lang.Character>> DeserializeBinarySet(dafny.DafnySequence<? extends java.lang.Byte> serialized,
                                                                                                                                  java.math.BigInteger remainingCount,
                                                                                                                                  java.math.BigInteger origSerializedSize,
                                                                                                                                  AttrValueAndLength resultSet)

DeserializeStringSet

public static Wrappers_Compile.Result<AttrValueAndLength,dafny.DafnySequence<? extends java.lang.Character>> DeserializeStringSet(dafny.DafnySequence<? extends java.lang.Byte> serialized,
                                                                                                                                  java.math.BigInteger remainingCount,
                                                                                                                                  java.math.BigInteger origSerializedSize,
                                                                                                                                  AttrValueAndLength resultSet)

DeserializeNumberSet

public static Wrappers_Compile.Result<AttrValueAndLength,dafny.DafnySequence<? extends java.lang.Character>> DeserializeNumberSet(dafny.DafnySequence<? extends java.lang.Byte> serialized,
                                                                                                                                  java.math.BigInteger remainingCount,
                                                                                                                                  java.math.BigInteger origSerializedSize,
                                                                                                                                  AttrValueAndLength resultSet)

DeserializeList

public static Wrappers_Compile.Result<AttrValueAndLength,dafny.DafnySequence<? extends java.lang.Character>> DeserializeList(dafny.DafnySequence<? extends java.lang.Byte> serialized,
                                                                                                                             java.math.BigInteger remainingCount,
                                                                                                                             java.math.BigInteger depth,
                                                                                                                             AttrValueAndLength resultList)

DeserializeMap

public static Wrappers_Compile.Result<AttrValueAndLength,dafny.DafnySequence<? extends java.lang.Character>> DeserializeMap(dafny.DafnySequence<? extends java.lang.Byte> serialized,
                                                                                                                            java.math.BigInteger remainingCount,
                                                                                                                            java.math.BigInteger depth,
                                                                                                                            AttrValueAndLength resultMap)

BytesToAttr

public static Wrappers_Compile.Result<AttrValueAndLength,dafny.DafnySequence<? extends java.lang.Character>> BytesToAttr(dafny.DafnySequence<? extends java.lang.Byte> value,
                                                                                                                         dafny.DafnySequence<? extends java.lang.Byte> typeId,
                                                                                                                         boolean hasLen,
                                                                                                                         java.math.BigInteger depth)

FlattenValueMap

public static <__X,__Y> dafny.DafnyMap<? extends __X,? extends __Y> FlattenValueMap(dafny.TypeDescriptor<__X> _td___X,
                                                                                    dafny.TypeDescriptor<__Y> _td___Y,
                                                                                    dafny.DafnyMap<? extends __X,? extends Wrappers_Compile.Result<__Y,dafny.DafnySequence<? extends java.lang.Character>>> m)

FlattenErrors

public static <__X,__Y> dafny.DafnySet<? extends dafny.DafnySequence<? extends java.lang.Character>> FlattenErrors(dafny.TypeDescriptor<__X> _td___X,
                                                                                                                   dafny.TypeDescriptor<__Y> _td___Y,
                                                                                                                   dafny.DafnyMap<? extends __X,? extends Wrappers_Compile.Result<__Y,dafny.DafnySequence<? extends java.lang.Character>>> m)

SimplifyMapValue

public static <__X,__Y> Wrappers_Compile.Result<dafny.DafnyMap<? extends __X,? extends __Y>,dafny.DafnySequence<? extends java.lang.Character>> SimplifyMapValue(dafny.TypeDescriptor<__X> _td___X,
                                                                                                                                                                 dafny.TypeDescriptor<__Y> _td___Y,
                                                                                                                                                                 dafny.DafnyMap<? extends __X,? extends Wrappers_Compile.Result<__Y,dafny.DafnySequence<? extends java.lang.Character>>> m)

TERM__T

public static byte TERM__T()

STRING__T

public static byte STRING__T()

STRING

public static dafny.DafnySequence<? extends java.lang.Byte> STRING()

NUMBER__T

public static byte NUMBER__T()

NUMBER

public static dafny.DafnySequence<? extends java.lang.Byte> NUMBER()

BINARY

public static dafny.DafnySequence<? extends java.lang.Byte> BINARY()

SET__T

public static byte SET__T()

STRING__SET

public static dafny.DafnySequence<? extends java.lang.Byte> STRING__SET()

NUMBER__SET

public static dafny.DafnySequence<? extends java.lang.Byte> NUMBER__SET()

BINARY__T

public static byte BINARY__T()

BINARY__SET

public static dafny.DafnySequence<? extends java.lang.Byte> BINARY__SET()

MAP__T

public static byte MAP__T()

NULL__T

public static byte NULL__T()

MAP

public static dafny.DafnySequence<? extends java.lang.Byte> MAP()

LIST__T

public static byte LIST__T()

LIST

public static dafny.DafnySequence<? extends java.lang.Byte> LIST()

NULL

public static dafny.DafnySequence<? extends java.lang.Byte> NULL()

BOOLEAN__T

public static byte BOOLEAN__T()

BOOLEAN

public static dafny.DafnySequence<? extends java.lang.Byte> BOOLEAN()

BOOL__LEN

public static java.math.BigInteger BOOL__LEN()

PREFIX__LEN

public static java.math.BigInteger PREFIX__LEN()

TYPEID__LEN

public static java.math.BigInteger TYPEID__LEN()

LENGTH__LEN

public static java.math.BigInteger LENGTH__LEN()

_typeDescriptor

public static dafny.TypeDescriptor<__default> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object