to_dafny_plain

aws_db_esdk::dynamodb::conversions::encrypted_data_key_description

Function to_dafny_plain 

Source 
pub fn to_dafny_plain(
    value: EncryptedDataKeyDescription,
) -> EncryptedDataKeyDescription