StandardLibrary_UInt

Documentation

Index

• Variables
• func Type_Seq16_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor
• func Type_Seq32_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor
• func Type_Seq64_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor
• type CompanionStruct_Default___
  • func (_static *CompanionStruct_Default___) HasUint16Len(s _dafny.Sequence) bool
  • func (_static *CompanionStruct_Default___) HasUint32Len(s _dafny.Sequence) bool
  • func (_static *CompanionStruct_Default___) HasUint64Len(s _dafny.Sequence) bool
  • func (_static *CompanionStruct_Default___) INT32__MAX__LIMIT() _dafny.Int
  • func (_static *CompanionStruct_Default___) INT64__MAX__LIMIT() _dafny.Int
  • func (_static *CompanionStruct_Default___) SeqToUInt16(s _dafny.Sequence) uint16
  • func (_static *CompanionStruct_Default___) SeqToUInt32(s _dafny.Sequence) uint32
  • func (_static *CompanionStruct_Default___) SeqToUInt64(s _dafny.Sequence) uint64
  • func (_static *CompanionStruct_Default___) UINT16__LIMIT() _dafny.Int
  • func (_static *CompanionStruct_Default___) UINT32__LIMIT() _dafny.Int
  • func (_static *CompanionStruct_Default___) UINT64__LIMIT() _dafny.Int
  • func (_static *CompanionStruct_Default___) UINT64__MAX__LIMIT() _dafny.Int
  • func (_static *CompanionStruct_Default___) UInt16ToSeq(x uint16) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) UInt32ToSeq(x uint32) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) UInt64ToSeq(x uint64) _dafny.Sequence
  • func (_static *CompanionStruct_Default___) UInt8Less(a uint8, b uint8) bool
• type CompanionStruct_Seq16_
  • func (_this *CompanionStruct_Seq16_) Is_(__source _dafny.Sequence) bool
• type CompanionStruct_Seq32_
  • func (_this *CompanionStruct_Seq32_) Is_(__source _dafny.Sequence) bool
• type CompanionStruct_Seq64_
  • func (_this *CompanionStruct_Seq64_) Is_(__source _dafny.Sequence) bool
• type Default__
  • func New_Default___() *Default__
  • func (_this *Default__) Equals(other *Default__) bool
  • func (_this *Default__) EqualsGeneric(x interface{}) bool
  • func (_this *Default__) ParentTraits_() []*_dafny.TraitID
  • func (*Default__) String() string
• type Dummy__
• type Seq16
  • func New_Seq16_() *Seq16
  • func (*Seq16) String() string
• type Seq32
  • func New_Seq32_() *Seq32
  • func (*Seq32) String() string
• type Seq64
  • func New_Seq64_() *Seq64
  • func (*Seq64) String() string

Variables

var Companion_Default___ = CompanionStruct_Default___{}

var Companion_Seq16_ = CompanionStruct_Seq16_{}

var Companion_Seq32_ = CompanionStruct_Seq32_{}

var Companion_Seq64_ = CompanionStruct_Seq64_{}

Functions

func Type_Seq16_

func Type_Seq16_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

func Type_Seq32_

func Type_Seq32_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

func Type_Seq64_

func Type_Seq64_(Type_T_ _dafny.TypeDescriptor) _dafny.TypeDescriptor

Types

type CompanionStruct_Default___

type CompanionStruct_Default___ struct {
}

func (*CompanionStruct_Default___) HasUint16Len

func (_static *CompanionStruct_Default___) HasUint16Len(s _dafny.Sequence) bool

func (*CompanionStruct_Default___) HasUint32Len

func (_static *CompanionStruct_Default___) HasUint32Len(s _dafny.Sequence) bool

func (*CompanionStruct_Default___) HasUint64Len

func (_static *CompanionStruct_Default___) HasUint64Len(s _dafny.Sequence) bool

func (*CompanionStruct_Default___) INT32__MAX__LIMIT

func (_static *CompanionStruct_Default___) INT32__MAX__LIMIT() _dafny.Int

func (*CompanionStruct_Default___) INT64__MAX__LIMIT

func (_static *CompanionStruct_Default___) INT64__MAX__LIMIT() _dafny.Int

func (*CompanionStruct_Default___) SeqToUInt16

func (_static *CompanionStruct_Default___) SeqToUInt16(s _dafny.Sequence) uint16

func (*CompanionStruct_Default___) SeqToUInt32

func (_static *CompanionStruct_Default___) SeqToUInt32(s _dafny.Sequence) uint32

func (*CompanionStruct_Default___) SeqToUInt64

func (_static *CompanionStruct_Default___) SeqToUInt64(s _dafny.Sequence) uint64

func (*CompanionStruct_Default___) UINT16__LIMIT

func (_static *CompanionStruct_Default___) UINT16__LIMIT() _dafny.Int

func (*CompanionStruct_Default___) UINT32__LIMIT

func (_static *CompanionStruct_Default___) UINT32__LIMIT() _dafny.Int

func (*CompanionStruct_Default___) UINT64__LIMIT

func (_static *CompanionStruct_Default___) UINT64__LIMIT() _dafny.Int

func (*CompanionStruct_Default___) UINT64__MAX__LIMIT

func (_static *CompanionStruct_Default___) UINT64__MAX__LIMIT() _dafny.Int

func (*CompanionStruct_Default___) UInt16ToSeq

func (_static *CompanionStruct_Default___) UInt16ToSeq(x uint16) _dafny.Sequence

func (*CompanionStruct_Default___) UInt32ToSeq

func (_static *CompanionStruct_Default___) UInt32ToSeq(x uint32) _dafny.Sequence

func (*CompanionStruct_Default___) UInt64ToSeq

func (_static *CompanionStruct_Default___) UInt64ToSeq(x uint64) _dafny.Sequence

func (*CompanionStruct_Default___) UInt8Less

func (_static *CompanionStruct_Default___) UInt8Less(a uint8, b uint8) bool

type CompanionStruct_Seq16_

type CompanionStruct_Seq16_ struct {
}

func (*CompanionStruct_Seq16_) Is_

func (_this *CompanionStruct_Seq16_) Is_(__source _dafny.Sequence) bool

type CompanionStruct_Seq32_

type CompanionStruct_Seq32_ struct {
}

func (*CompanionStruct_Seq32_) Is_

func (_this *CompanionStruct_Seq32_) Is_(__source _dafny.Sequence) bool

type CompanionStruct_Seq64_

type CompanionStruct_Seq64_ struct {
}

func (*CompanionStruct_Seq64_) Is_

func (_this *CompanionStruct_Seq64_) Is_(__source _dafny.Sequence) bool

type Default__

type Default__ struct {
	// contains filtered or unexported fields
}

Definition of class Default__

func New_Default___

func New_Default___() *Default__

func (*Default__) Equals

func (_this *Default__) Equals(other *Default__) bool

func (*Default__) EqualsGeneric

func (_this *Default__) EqualsGeneric(x interface{}) bool

func (*Default__) ParentTraits_

func (_this *Default__) ParentTraits_() []*_dafny.TraitID

func (*Default__) String

func (*Default__) String() string

type Dummy__

type Dummy__ struct{}

type Seq16

type Seq16 struct {
}

Definition of class Seq16

func New_Seq16_

func New_Seq16_() *Seq16

func (*Seq16) String

func (*Seq16) String() string

type Seq32

type Seq32 struct {
}

Definition of class Seq32

func New_Seq32_

func New_Seq32_() *Seq32

func (*Seq32) String

func (*Seq32) String() string

type Seq64

type Seq64 struct {
}

Definition of class Seq64

func New_Seq64_

func New_Seq64_() *Seq64

func (*Seq64) String

func (*Seq64) String() string