plain_from_dafny

aws_db_esdk::dynamodb::conversions::encrypted_data_key_description

Function plain_from_dafny 

Source 
pub fn plain_from_dafny(
    dafny_value: &EncryptedDataKeyDescription,
) -> EncryptedDataKeyDescription