github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl@v0.2.0/CMM/CMM.go (about) 1 // Package CMM 2 // Dafny module CMM compiled into Go 3 4 package CMM 5 6 import ( 7 os "os" 8 9 m_ComAmazonawsDynamodbTypes "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/ComAmazonawsDynamodbTypes" 10 m_Com_Amazonaws_Dynamodb "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/Com_Amazonaws_Dynamodb" 11 m_ComAmazonawsKmsTypes "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" 12 m_Com_Amazonaws_Kms "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/Com_Amazonaws_Kms" 13 m_AlgorithmSuites "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AlgorithmSuites" 14 m_AwsArnParsing "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsArnParsing" 15 m_AwsCryptographyKeyStoreOperations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyKeyStoreOperations" 16 m_AwsCryptographyKeyStoreTypes "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyKeyStoreTypes" 17 m_AwsCryptographyMaterialProvidersTypes "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" 18 m_AwsKmsDiscoveryKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsDiscoveryKeyring" 19 m_AwsKmsEcdhKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsEcdhKeyring" 20 m_AwsKmsHierarchicalKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsHierarchicalKeyring" 21 m_AwsKmsKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsKeyring" 22 m_AwsKmsMrkAreUnique "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsMrkAreUnique" 23 m_AwsKmsMrkDiscoveryKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsMrkDiscoveryKeyring" 24 m_AwsKmsMrkKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsMrkKeyring" 25 m_AwsKmsMrkMatchForDecrypt "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsMrkMatchForDecrypt" 26 m_AwsKmsRsaKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsRsaKeyring" 27 m_AwsKmsUtils "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsKmsUtils" 28 m_CacheConstants "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/CacheConstants" 29 m_CanonicalEncryptionContext "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/CanonicalEncryptionContext" 30 m_Constants "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/Constants" 31 m_CreateKeyStoreTable "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/CreateKeyStoreTable" 32 m_CreateKeys "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/CreateKeys" 33 m_DDBKeystoreOperations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/DDBKeystoreOperations" 34 m_DiscoveryMultiKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/DiscoveryMultiKeyring" 35 m_EcdhEdkWrapping "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/EcdhEdkWrapping" 36 m_EdkWrapping "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/EdkWrapping" 37 m_ErrorMessages "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/ErrorMessages" 38 m_GetKeys "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/GetKeys" 39 m_IntermediateKeyWrapping "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/IntermediateKeyWrapping" 40 m_KMSKeystoreOperations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/KMSKeystoreOperations" 41 m_KeyStore "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/KeyStore" 42 m_KeyStoreErrorMessages "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/KeyStoreErrorMessages" 43 m_Keyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/Keyring" 44 m_KmsArn "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/KmsArn" 45 m_LocalCMC "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/LocalCMC" 46 m_MaterialWrapping "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/MaterialWrapping" 47 m_Materials "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/Materials" 48 m_MrkAwareDiscoveryMultiKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/MrkAwareDiscoveryMultiKeyring" 49 m_MrkAwareStrictMultiKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/MrkAwareStrictMultiKeyring" 50 m_MultiKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/MultiKeyring" 51 m_RawAESKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/RawAESKeyring" 52 m_RawECDHKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/RawECDHKeyring" 53 m_RawRSAKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/RawRSAKeyring" 54 m_StormTracker "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/StormTracker" 55 m_StormTrackingCMC "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/StormTrackingCMC" 56 m_StrictMultiKeyring "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/StrictMultiKeyring" 57 m_Structure "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/Structure" 58 m_SynchronizedLocalCMC "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/SynchronizedLocalCMC" 59 m_AtomicPrimitives "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AtomicPrimitives" 60 m_AwsCryptographyPrimitivesOperations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesOperations" 61 m_AwsCryptographyPrimitivesTypes "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" 62 m_Digest "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/Digest" 63 m_HKDF "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/HKDF" 64 m_KdfCtr "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/KdfCtr" 65 m_Random "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/Random" 66 m_WrappedHKDF "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/WrappedHKDF" 67 m_WrappedHMAC "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/WrappedHMAC" 68 m_Actions "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Actions" 69 m_Base64 "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Base64" 70 m_Base64Lemmas "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Base64Lemmas" 71 m_BoundedInts "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/BoundedInts" 72 m_DivInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/DivInternals" 73 m_DivInternalsNonlinear "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/DivInternalsNonlinear" 74 m_DivMod "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/DivMod" 75 m_FileIO "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/FileIO" 76 m_FloatCompare "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/FloatCompare" 77 m_Functions "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Functions" 78 m_GeneralInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/GeneralInternals" 79 m_GetOpt "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/GetOpt" 80 m_HexStrings "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/HexStrings" 81 m_Logarithm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Logarithm" 82 m__Math "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Math_" 83 m_ModInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/ModInternals" 84 m_ModInternalsNonlinear "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/ModInternalsNonlinear" 85 m_Mul "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Mul" 86 m_MulInternals "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/MulInternals" 87 m_MulInternalsNonlinear "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/MulInternalsNonlinear" 88 m_Power "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Power" 89 m_Relations "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Relations" 90 m_Seq "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Seq" 91 m_Seq_MergeSort "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Seq_MergeSort" 92 m_Sorting "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Sorting" 93 m_StandardLibrary "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary" 94 m_StandardLibraryInterop "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibraryInterop" 95 m_StandardLibrary_Sequence "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_Sequence" 96 m_StandardLibrary_String "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_String" 97 m_StandardLibrary_UInt "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/StandardLibrary_UInt" 98 m_Streams "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Streams" 99 m_UTF8 "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/UTF8" 100 m_UnicodeStrings "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/UnicodeStrings" 101 m__Unicode "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Unicode_" 102 m_Utf16EncodingForm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Utf16EncodingForm" 103 m_Utf8EncodingForm "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Utf8EncodingForm" 104 m_Wrappers "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" 105 m__System "github.com/dafny-lang/DafnyRuntimeGo/v4/System_" 106 _dafny "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" 107 ) 108 109 var _ = os.Args 110 var _ _dafny.Dummy__ 111 var _ m__System.Dummy__ 112 var _ m_Wrappers.Dummy__ 113 var _ m_BoundedInts.Dummy__ 114 var _ m_StandardLibrary_UInt.Dummy__ 115 var _ m_StandardLibrary_Sequence.Dummy__ 116 var _ m_StandardLibrary_String.Dummy__ 117 var _ m_StandardLibrary.Dummy__ 118 var _ m_AwsCryptographyPrimitivesTypes.Dummy__ 119 var _ m_Random.Dummy__ 120 var _ m_Digest.Dummy__ 121 var _ m_WrappedHMAC.Dummy__ 122 var _ m_HKDF.Dummy__ 123 var _ m_WrappedHKDF.Dummy__ 124 var _ m_KdfCtr.Dummy__ 125 var _ m_AwsCryptographyPrimitivesOperations.Dummy__ 126 var _ m_AtomicPrimitives.Dummy__ 127 var _ m_ComAmazonawsDynamodbTypes.Dummy__ 128 var _ m_ComAmazonawsKmsTypes.Dummy__ 129 var _ m_Relations.Dummy__ 130 var _ m_Seq_MergeSort.Dummy__ 131 var _ m__Math.Dummy__ 132 var _ m_Seq.Dummy__ 133 var _ m__Unicode.Dummy__ 134 var _ m_Functions.Dummy__ 135 var _ m_Utf8EncodingForm.Dummy__ 136 var _ m_Utf16EncodingForm.Dummy__ 137 var _ m_UnicodeStrings.Dummy__ 138 var _ m_FileIO.Dummy__ 139 var _ m_GeneralInternals.Dummy__ 140 var _ m_MulInternalsNonlinear.Dummy__ 141 var _ m_MulInternals.Dummy__ 142 var _ m_Mul.Dummy__ 143 var _ m_ModInternalsNonlinear.Dummy__ 144 var _ m_DivInternalsNonlinear.Dummy__ 145 var _ m_ModInternals.Dummy__ 146 var _ m_DivInternals.Dummy__ 147 var _ m_DivMod.Dummy__ 148 var _ m_Power.Dummy__ 149 var _ m_Logarithm.Dummy__ 150 var _ m_StandardLibraryInterop.Dummy__ 151 var _ m_Streams.Dummy__ 152 var _ m_Sorting.Dummy__ 153 var _ m_HexStrings.Dummy__ 154 var _ m_GetOpt.Dummy__ 155 var _ m_FloatCompare.Dummy__ 156 var _ m_Base64.Dummy__ 157 var _ m_Base64Lemmas.Dummy__ 158 var _ m_Actions.Dummy__ 159 var _ m_AwsCryptographyKeyStoreTypes.Dummy__ 160 var _ m_AwsCryptographyMaterialProvidersTypes.Dummy__ 161 var _ m_AwsArnParsing.Dummy__ 162 var _ m_AwsKmsMrkMatchForDecrypt.Dummy__ 163 var _ m_AwsKmsUtils.Dummy__ 164 var _ m_KeyStoreErrorMessages.Dummy__ 165 var _ m_KmsArn.Dummy__ 166 var _ m_Structure.Dummy__ 167 var _ m_KMSKeystoreOperations.Dummy__ 168 var _ m_DDBKeystoreOperations.Dummy__ 169 var _ m_CreateKeys.Dummy__ 170 var _ m_CreateKeyStoreTable.Dummy__ 171 var _ m_GetKeys.Dummy__ 172 var _ m_AwsCryptographyKeyStoreOperations.Dummy__ 173 var _ m_Com_Amazonaws_Kms.Dummy__ 174 var _ m_Com_Amazonaws_Dynamodb.Dummy__ 175 var _ m_KeyStore.Dummy__ 176 var _ m_AlgorithmSuites.Dummy__ 177 var _ m_Materials.Dummy__ 178 var _ m_Keyring.Dummy__ 179 var _ m_MultiKeyring.Dummy__ 180 var _ m_AwsKmsMrkAreUnique.Dummy__ 181 var _ m_Constants.Dummy__ 182 var _ m_MaterialWrapping.Dummy__ 183 var _ m_CanonicalEncryptionContext.Dummy__ 184 var _ m_IntermediateKeyWrapping.Dummy__ 185 var _ m_EdkWrapping.Dummy__ 186 var _ m_ErrorMessages.Dummy__ 187 var _ m_AwsKmsKeyring.Dummy__ 188 var _ m_StrictMultiKeyring.Dummy__ 189 var _ m_AwsKmsDiscoveryKeyring.Dummy__ 190 var _ m_DiscoveryMultiKeyring.Dummy__ 191 var _ m_AwsKmsMrkDiscoveryKeyring.Dummy__ 192 var _ m_MrkAwareDiscoveryMultiKeyring.Dummy__ 193 var _ m_AwsKmsMrkKeyring.Dummy__ 194 var _ m_MrkAwareStrictMultiKeyring.Dummy__ 195 var _ m_LocalCMC.Dummy__ 196 var _ m_SynchronizedLocalCMC.Dummy__ 197 var _ m_StormTracker.Dummy__ 198 var _ m_StormTrackingCMC.Dummy__ 199 var _ m_CacheConstants.Dummy__ 200 var _ m_AwsKmsHierarchicalKeyring.Dummy__ 201 var _ m_AwsKmsRsaKeyring.Dummy__ 202 var _ m_EcdhEdkWrapping.Dummy__ 203 var _ m_RawECDHKeyring.Dummy__ 204 var _ m_AwsKmsEcdhKeyring.Dummy__ 205 var _ m_RawAESKeyring.Dummy__ 206 var _ m_RawRSAKeyring.Dummy__ 207 208 type Dummy__ struct{} 209 210 // Definition of class Default__ 211 type Default__ struct { 212 dummy byte 213 } 214 215 func New_Default___() *Default__ { 216 _this := Default__{} 217 218 return &_this 219 } 220 221 type CompanionStruct_Default___ struct { 222 } 223 224 var Companion_Default___ = CompanionStruct_Default___{} 225 226 func (_this *Default__) Equals(other *Default__) bool { 227 return _this == other 228 } 229 230 func (_this *Default__) EqualsGeneric(x interface{}) bool { 231 other, ok := x.(*Default__) 232 return ok && _this.Equals(other) 233 } 234 235 func (*Default__) String() string { 236 return "CMM.Default__" 237 } 238 func (_this *Default__) ParentTraits_() []*_dafny.TraitID { 239 return [](*_dafny.TraitID){} 240 } 241 242 var _ _dafny.TraitOffspring = &Default__{} 243 244 func (_static *CompanionStruct_Default___) RequiredEncryptionContextKeys_q(requiredEncryptionContextKeys m_Wrappers.Option, encryptionMaterials m_AwsCryptographyMaterialProvidersTypes.EncryptionMaterials) bool { 245 return _dafny.Quantifier(((requiredEncryptionContextKeys).UnwrapOr(_dafny.SeqOf()).(_dafny.Sequence)).UniqueElements(), true, func(_forall_var_0 _dafny.Sequence) bool { 246 var _0_k _dafny.Sequence 247 _0_k = interface{}(_forall_var_0).(_dafny.Sequence) 248 if m_UTF8.Companion_ValidUTF8Bytes_.Is_(_0_k) { 249 return !(_dafny.Companion_Sequence_.Contains((requiredEncryptionContextKeys).UnwrapOr(_dafny.SeqOf()).(_dafny.Sequence), _0_k)) || (_dafny.Companion_Sequence_.Contains((encryptionMaterials).Dtor_requiredEncryptionContextKeys(), _0_k)) 250 } else { 251 return true 252 } 253 }) 254 } 255 func (_static *CompanionStruct_Default___) EncryptionContextComplete(input m_AwsCryptographyMaterialProvidersTypes.DecryptMaterialsInput, decryptionMaterials m_AwsCryptographyMaterialProvidersTypes.DecryptionMaterials) bool { 256 var _0_reproducedEncryptionContext _dafny.Map = ((input).Dtor_reproducedEncryptionContext()).UnwrapOr(_dafny.NewMapBuilder().ToMap()).(_dafny.Map) 257 _ = _0_reproducedEncryptionContext 258 return _dafny.Quantifier(((_0_reproducedEncryptionContext).Keys()).Elements(), true, func(_forall_var_0 _dafny.Sequence) bool { 259 var _1_k _dafny.Sequence 260 _1_k = interface{}(_forall_var_0).(_dafny.Sequence) 261 return !(((_0_reproducedEncryptionContext).Keys()).Contains(_1_k)) || ((((decryptionMaterials).Dtor_encryptionContext()).Contains(_1_k)) && (_dafny.Companion_Sequence_.Equal(((decryptionMaterials).Dtor_encryptionContext()).Get(_1_k).(_dafny.Sequence), (_0_reproducedEncryptionContext).Get(_1_k).(_dafny.Sequence)))) 262 }) 263 } 264 func (_static *CompanionStruct_Default___) ReproducedEncryptionContext_q(input m_AwsCryptographyMaterialProvidersTypes.DecryptMaterialsInput) bool { 265 var _0_reproducedEncryptionContext _dafny.Map = ((input).Dtor_reproducedEncryptionContext()).UnwrapOr(_dafny.NewMapBuilder().ToMap()).(_dafny.Map) 266 _ = _0_reproducedEncryptionContext 267 return _dafny.Quantifier(((_0_reproducedEncryptionContext).Keys()).Elements(), true, func(_forall_var_0 _dafny.Sequence) bool { 268 var _1_k _dafny.Sequence 269 _1_k = interface{}(_forall_var_0).(_dafny.Sequence) 270 return !((((_0_reproducedEncryptionContext).Keys()).Contains(_1_k)) && (((input).Dtor_encryptionContext()).Contains(_1_k))) || (_dafny.Companion_Sequence_.Equal(((input).Dtor_encryptionContext()).Get(_1_k).(_dafny.Sequence), (_0_reproducedEncryptionContext).Get(_1_k).(_dafny.Sequence))) 271 }) 272 } 273 274 // End of class Default__ 275 276 // Definition of trait VerifiableInterface 277 type VerifiableInterface interface { 278 String() string 279 DecryptMaterials(input m_AwsCryptographyMaterialProvidersTypes.DecryptMaterialsInput) m_Wrappers.Result 280 GetEncryptionMaterials(input m_AwsCryptographyMaterialProvidersTypes.GetEncryptionMaterialsInput) m_Wrappers.Result 281 GetEncryptionMaterials_k(input m_AwsCryptographyMaterialProvidersTypes.GetEncryptionMaterialsInput) m_Wrappers.Result 282 DecryptMaterials_k(input m_AwsCryptographyMaterialProvidersTypes.DecryptMaterialsInput) m_Wrappers.Result 283 } 284 type CompanionStruct_VerifiableInterface_ struct { 285 TraitID_ *_dafny.TraitID 286 } 287 288 var Companion_VerifiableInterface_ = CompanionStruct_VerifiableInterface_{ 289 TraitID_: &_dafny.TraitID{}, 290 } 291 292 func (CompanionStruct_VerifiableInterface_) CastTo_(x interface{}) VerifiableInterface { 293 var t VerifiableInterface 294 t, _ = x.(VerifiableInterface) 295 return t 296 } 297 298 // End of trait VerifiableInterface