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___ + type CompanionStruct_Default___ struct + func (_static *CompanionStruct_Default___) ReadContentType(buffer m_SerializeFunctions.ReadableBuffer) m_Wrappers.Result + func (_static *CompanionStruct_Default___) ReadESDKSuiteId(buffer m_SerializeFunctions.ReadableBuffer, ...) m_Wrappers.Result + func (_static *CompanionStruct_Default___) ReadMessageFormatVersion(buffer m_SerializeFunctions.ReadableBuffer) m_Wrappers.Result + func (_static *CompanionStruct_Default___) ReadMessageIdV1(buffer m_SerializeFunctions.ReadableBuffer) m_Wrappers.Result + func (_static *CompanionStruct_Default___) ReadMessageIdV2(buffer m_SerializeFunctions.ReadableBuffer) m_Wrappers.Result + func (_static *CompanionStruct_Default___) WriteContentType(contentType m_HeaderTypes.ContentType) _dafny.Sequence + func (_static *CompanionStruct_Default___) WriteESDKSuiteId(suite m_AwsCryptographyMaterialProvidersTypes.AlgorithmSuiteInfo) _dafny.Sequence + func (_static *CompanionStruct_Default___) WriteMessageFormatVersion(version m_HeaderTypes.MessageFormatVersion) _dafny.Sequence + func (_static *CompanionStruct_Default___) WriteMessageId(messageId _dafny.Sequence) _dafny.Sequence + 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
Go to main page