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