aws_db_esdk/deps/aws_cryptography_keyStore/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_keyStore::client::Client,
11) -> ::dafny_runtime::Object<
12    dyn crate::r#software::amazon::cryptography::keystore::internaldafny::types::IKeyStoreClient,
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::keystore::internaldafny::types::IKeyStoreClient
21    >,
22) -> crate::deps::aws_cryptography_keyStore::client::Client {
23    crate::deps::aws_cryptography_keyStore::client::Client {
24        dafny_client: dafny_value,
25    }
26}