Versions in this module Expand all Collapse all v0 v0.1.0 Jan 16, 2025 v0.0.1 Jan 16, 2025 Changes in this version + var Companion_Default___ = CompanionStruct_Default___ + var Companion_V2HeaderBody_ = CompanionStruct_V2HeaderBody_ + func Type_V2HeaderBody_() _dafny.TypeDescriptor + type CompanionStruct_Default___ struct + func (_static *CompanionStruct_Default___) HeaderBytesToAADStart() _dafny.Int + func (_static *CompanionStruct_Default___) ReadV2HeaderBody(buffer m_SerializeFunctions.ReadableBuffer, maxEdks m_Wrappers.Option, ...) m_Wrappers.Result + func (_static *CompanionStruct_Default___) WriteV2HeaderBody(body m_HeaderTypes.HeaderBody) _dafny.Sequence + type CompanionStruct_V2HeaderBody_ struct + func (_this *CompanionStruct_V2HeaderBody_) Is_(__source m_HeaderTypes.HeaderBody) bool + type Default__ struct + func New_Default___() *Default__ + func (*Default__) String() string + func (_this *Default__) Equals(other *Default__) bool + func (_this *Default__) EqualsGeneric(x interface{}) bool + func (_this *Default__) ParentTraits_() []*_dafny.TraitID + type Dummy__ struct + type V2HeaderBody struct + func New_V2HeaderBody_() *V2HeaderBody + func (*V2HeaderBody) String() string
Go to main page