@@ -101,6 +101,7 @@ import (
101101 m_Sorting "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Sorting"
102102 m_StandardLibrary "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary"
103103 m_StandardLibraryInterop "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibraryInterop"
104+ m_StandardLibrary_MemoryMath "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_MemoryMath"
104105 m_StandardLibrary_Sequence "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_Sequence"
105106 m_StandardLibrary_String "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_String"
106107 m_StandardLibrary_UInt "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_UInt"
@@ -136,6 +137,7 @@ var _ m__System.Dummy__
136137var _ m_Wrappers.Dummy__
137138var _ m_BoundedInts.Dummy__
138139var _ m_StandardLibrary_UInt.Dummy__
140+ var _ m_StandardLibrary_MemoryMath.Dummy__
139141var _ m_StandardLibrary_Sequence.Dummy__
140142var _ m_StandardLibrary_String.Dummy__
141143var _ m_StandardLibrary.Dummy__
@@ -160,40 +162,41 @@ var _ m_Relations.Dummy__
160162var _ m_Seq_MergeSort.Dummy__
161163var _ m__Math.Dummy__
162164var _ m_Seq.Dummy__
163- var _ m_MultiKeyring.Dummy__
164- var _ m_AwsArnParsing.Dummy__
165- var _ m_AwsKmsMrkAreUnique.Dummy__
166165var _ m_Actions.Dummy__
167- var _ m_AwsKmsMrkMatchForDecrypt.Dummy__
168- var _ m_AwsKmsUtils.Dummy__
169- var _ m_Constants.Dummy__
170- var _ m_MaterialWrapping.Dummy__
171166var _ m_CanonicalEncryptionContext.Dummy__
167+ var _ m_MaterialWrapping.Dummy__
172168var _ m_IntermediateKeyWrapping.Dummy__
173169var _ m_EdkWrapping.Dummy__
174170var _ m_ErrorMessages.Dummy__
171+ var _ m_RawAESKeyring.Dummy__
172+ var _ m_AwsArnParsing.Dummy__
173+ var _ m_Constants.Dummy__
174+ var _ m_EcdhEdkWrapping.Dummy__
175+ var _ m_RawECDHKeyring.Dummy__
176+ var _ m_RawRSAKeyring.Dummy__
177+ var _ m_AwsKmsMrkMatchForDecrypt.Dummy__
178+ var _ m_AwsKmsUtils.Dummy__
175179var _ m_AwsKmsKeyring.Dummy__
176- var _ m_StrictMultiKeyring.Dummy__
177180var _ m_AwsKmsDiscoveryKeyring.Dummy__
178- var _ m_Com_Amazonaws_Kms.Dummy__
179- var _ m_Com_Amazonaws_Dynamodb.Dummy__
180- var _ m_DiscoveryMultiKeyring.Dummy__
181- var _ m_AwsKmsMrkDiscoveryKeyring.Dummy__
182- var _ m_MrkAwareDiscoveryMultiKeyring.Dummy__
183- var _ m_AwsKmsMrkKeyring.Dummy__
184- var _ m_MrkAwareStrictMultiKeyring.Dummy__
181+ var _ m_AwsKmsEcdhKeyring.Dummy__
182+ var _ m_FileIO.Dummy__
185183var _ m_LocalCMC.Dummy__
186184var _ m_SynchronizedLocalCMC.Dummy__
187185var _ m_StormTracker.Dummy__
188186var _ m_StormTrackingCMC.Dummy__
189187var _ m_CacheConstants.Dummy__
190188var _ m_AwsKmsHierarchicalKeyring.Dummy__
189+ var _ m_AwsKmsMrkDiscoveryKeyring.Dummy__
190+ var _ m_AwsKmsMrkKeyring.Dummy__
191191var _ m_AwsKmsRsaKeyring.Dummy__
192- var _ m_EcdhEdkWrapping.Dummy__
193- var _ m_RawECDHKeyring.Dummy__
194- var _ m_AwsKmsEcdhKeyring.Dummy__
195- var _ m_RawAESKeyring.Dummy__
196- var _ m_RawRSAKeyring.Dummy__
192+ var _ m_MultiKeyring.Dummy__
193+ var _ m_AwsKmsMrkAreUnique.Dummy__
194+ var _ m_StrictMultiKeyring.Dummy__
195+ var _ m_Com_Amazonaws_Kms.Dummy__
196+ var _ m_Com_Amazonaws_Dynamodb.Dummy__
197+ var _ m_DiscoveryMultiKeyring.Dummy__
198+ var _ m_MrkAwareDiscoveryMultiKeyring.Dummy__
199+ var _ m_MrkAwareStrictMultiKeyring.Dummy__
197200var _ m_CMM.Dummy__
198201var _ m_Defaults.Dummy__
199202var _ m_Commitment.Dummy__
@@ -218,7 +221,6 @@ var _ m_Functions.Dummy__
218221var _ m_Utf8EncodingForm.Dummy__
219222var _ m_Utf16EncodingForm.Dummy__
220223var _ m_UnicodeStrings.Dummy__
221- var _ m_FileIO.Dummy__
222224var _ m_GeneralInternals.Dummy__
223225var _ m_MulInternalsNonlinear.Dummy__
224226var _ m_MulInternals.Dummy__
@@ -304,9 +306,9 @@ func (_static *CompanionStruct_Default___) ESDK(config m_AwsCryptographyEncrypti
304306 _0_maybeCrypto = _out0
305307 var _1_valueOrError0 m_Wrappers.Result = m_Wrappers.Result {}
306308 _ = _1_valueOrError0
307- _1_valueOrError0 = (_0_maybeCrypto ).MapFailure (func (coer37 func (m_AwsCryptographyPrimitivesTypes.Error ) m_AwsCryptographyEncryptionSdkTypes.Error ) func (interface {}) interface {} {
308- return func (arg38 interface {}) interface {} {
309- return coer37 ( arg38 .(m_AwsCryptographyPrimitivesTypes.Error ))
309+ _1_valueOrError0 = (_0_maybeCrypto ).MapFailure (func (coer36 func (m_AwsCryptographyPrimitivesTypes.Error ) m_AwsCryptographyEncryptionSdkTypes.Error ) func (interface {}) interface {} {
310+ return func (arg37 interface {}) interface {} {
311+ return coer36 ( arg37 .(m_AwsCryptographyPrimitivesTypes.Error ))
310312 }
311313 }(func (_2_e m_AwsCryptographyPrimitivesTypes.Error ) m_AwsCryptographyEncryptionSdkTypes.Error {
312314 return m_AwsCryptographyEncryptionSdkTypes .Companion_Error_ .Create_AwsCryptographyPrimitives_ (_2_e )
@@ -329,9 +331,9 @@ func (_static *CompanionStruct_Default___) ESDK(config m_AwsCryptographyEncrypti
329331 _5_maybeMpl = _out1
330332 var _6_valueOrError1 m_Wrappers.Result = m_Wrappers.Result {}
331333 _ = _6_valueOrError1
332- _6_valueOrError1 = (_5_maybeMpl ).MapFailure (func (coer38 func (m_AwsCryptographyMaterialProvidersTypes.Error ) m_AwsCryptographyEncryptionSdkTypes.Error ) func (interface {}) interface {} {
333- return func (arg39 interface {}) interface {} {
334- return coer38 ( arg39 .(m_AwsCryptographyMaterialProvidersTypes.Error ))
334+ _6_valueOrError1 = (_5_maybeMpl ).MapFailure (func (coer37 func (m_AwsCryptographyMaterialProvidersTypes.Error ) m_AwsCryptographyEncryptionSdkTypes.Error ) func (interface {}) interface {} {
335+ return func (arg38 interface {}) interface {} {
336+ return coer37 ( arg38 .(m_AwsCryptographyMaterialProvidersTypes.Error ))
335337 }
336338 }(func (_7_e m_AwsCryptographyMaterialProvidersTypes.Error ) m_AwsCryptographyEncryptionSdkTypes.Error {
337339 return m_AwsCryptographyEncryptionSdkTypes .Companion_Error_ .Create_AwsCryptographyMaterialProviders_ (_7_e )
0 commit comments