__default (AwsCryptographyDbEncryptionSdkDynamoDb 3.1.1 API)

public class __default
extends java.lang.Object

Constructors
Constructor and Description
`__default()`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`static dafny.TypeDescriptor<__default>`	`_typeDescriptor()`
`static dafny.DafnySequence<? extends java.lang.Character>`	`BeaconPrefix()`
`static boolean`	`ByteLess(byte x, byte y)`
`static boolean`	`CharLess(char x, char y)`
`static Error`	`E(dafny.DafnySequence<? extends java.lang.Character> msg)`
`static java.math.BigInteger`	`MAX__ATTRIBUTE__COUNT()`
`static dafny.DafnySequence<? extends java.lang.Character>`	`ReservedPrefix()`
`java.lang.String`	`toString()`
`static dafny.DafnySequence<? extends java.lang.Character>`	`VersionPrefix()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

public static Error E(dafny.DafnySequence<? extends java.lang.Character> msg)

public static boolean ByteLess(byte x,
                               byte y)

public static boolean CharLess(char x,
                               char y)

public static dafny.DafnySequence<? extends java.lang.Character> ReservedPrefix()

public static dafny.DafnySequence<? extends java.lang.Character> BeaconPrefix()

public static dafny.DafnySequence<? extends java.lang.Character> VersionPrefix()

public static java.math.BigInteger MAX__ATTRIBUTE__COUNT()

public static dafny.TypeDescriptor<__default> _typeDescriptor()

Class __default