aws-db-esdk-1.1.1
- aws-db-esdk 1.1.1
- Permalink
- Docs.rs crate page
- ISC AND (Apache-2.0 OR ISC)
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- ajewellamz
- github:aws:aws-crypto-tools
- seebees
- Dependencies
- aws-config ^1.6.3 normal
  
  aws-lc-rs ^1.13.1 normal
  
  aws-lc-sys ^0.29.0 normal
  
  aws-sdk-dynamodb ^1.73.0 normal
  
  aws-sdk-kms ^1.67.0 normal
  
  aws-smithy-runtime-api ^1.8.0 normal
  
  aws-smithy-types ^1.3.1 normal
  
  chrono ^0.4.41 normal
  
  cpu-time ^1.0.0 normal
  
  dafny-runtime ^0.3.1 normal
  
  dashmap ^6.1.0 normal
  
  pem ^3.0.5 normal
  
  tokio ^1.45.1 normal
  
  uuid ^1.17.0 normal
- Versions
- 38.2% of the crate is documented
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

aws_db_esdk1.1.1

In aws_db_esdk::dynamodb::conversions::shared_set

aws_db_esdk::dynamodb::conversions::shared_set

Function to_dafny_plain

pub fn to_dafny_plain(value: SharedSet) -> SharedSet