public class MessageID extends java.lang.Object
MessageID()
static dafny.TypeDescriptor<dafny.DafnySequence<? extends java.lang.Byte>>
_typeDescriptor()
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public MessageID()
public static dafny.TypeDescriptor<dafny.DafnySequence<? extends java.lang.Byte>> _typeDescriptor()