Versions in this module Expand all Collapse all v0 v0.1.0 Jan 15, 2025 v0.0.1 Jan 15, 2025 Changes in this version + var Companion_VerifiableInterface_ = CompanionStruct_VerifiableInterface_ + type CompanionStruct_VerifiableInterface_ struct + TraitID_ *_dafny.TraitID + func (CompanionStruct_VerifiableInterface_) CastTo_(x interface{}) VerifiableInterface + type Dummy__ struct + type VerifiableInterface interface + OnDecrypt func(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result + OnDecrypt_k func(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result + OnEncrypt func(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result + OnEncrypt_k func(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result + String func() string
Go to main page