to_dafny

aws_db_esdk::dynamodb::conversions::dynamo_db_tables_encryption_config

Function to_dafny 

Source 
pub fn to_dafny(
    value: &DynamoDbTablesEncryptionConfig,
) -> Rc<DynamoDbTablesEncryptionConfig>