public class BeaconLength
extends java.lang.Object
| Modifier and Type | Field and Description |
|---|---|
static byte |
Witness |
| Constructor and Description |
|---|
BeaconLength() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<java.lang.Byte> |
_typeDescriptor() |
static java.util.ArrayList<java.lang.Byte> |
IntegerRange(java.math.BigInteger lo,
java.math.BigInteger hi) |