Documentation
¶
Index ¶
Constants ¶
This section is empty.
Variables ¶
View Source
var Companion_VerifiableInterface_ = CompanionStruct_VerifiableInterface_{ TraitID_: &_dafny.TraitID{}, }
Functions ¶
This section is empty.
Types ¶
type CompanionStruct_VerifiableInterface_ ¶
func (CompanionStruct_VerifiableInterface_) CastTo_ ¶
func (CompanionStruct_VerifiableInterface_) CastTo_(x interface{}) VerifiableInterface
type VerifiableInterface ¶
type VerifiableInterface interface { String() string OnDecrypt(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result OnEncrypt(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result OnEncrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnEncryptInput) m_Wrappers.Result OnDecrypt_k(input m_AwsCryptographyMaterialProvidersTypes.OnDecryptInput) m_Wrappers.Result }
Definition of trait VerifiableInterface
Click to show internal directories.
Click to hide internal directories.