aws_db_esdk/deps/aws_cryptography_dbEncryptionSdk_dynamoDb/conversions/
client.rs

1// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
2// SPDX-License-Identifier: Apache-2.0
3// Do not modify this file. This file is machine generated, and any changes to it will be overwritten.
4// Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
5// SPDX-License-Identifier: Apache-2.0
6// Do not modify this file. This file is machine generated, and any changes to it will be overwritten.
7#[allow(dead_code)]
8
9pub fn to_dafny(
10    value: &crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::client::Client,
11) ->
12  ::dafny_runtime::Object<dyn crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::IDynamoDbEncryptionClient>
13{
14    value.dafny_client.clone()
15}
16
17#[allow(dead_code)]
18pub fn from_dafny(
19    dafny_value: ::dafny_runtime::Object<
20      dyn crate::r#software::amazon::cryptography::dbencryptionsdk::dynamodb::internaldafny::types::IDynamoDbEncryptionClient
21    >,
22) -> crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::client::Client {
23    crate::deps::aws_cryptography_dbEncryptionSdk_dynamoDb::client::Client {
24        dafny_client: dafny_value,
25    }
26}