to_dafny

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