aws_db_esdk/deps/aws_cryptography_dbEncryptionSdk_dynamoDb/conversions/
client.rs1#[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}