aws-db-esdk-1.0.0
- aws-db-esdk 1.0.0
- 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.5.15 normal
  
  aws-lc-rs ^1.12.2 normal
  
  aws-lc-sys ^0.25.0 normal
  
  aws-sdk-dynamodb ^1.62.0 normal
  
  aws-sdk-kms ^1.57.0 normal
  
  aws-smithy-runtime-api ^1.7.3 normal
  
  aws-smithy-types ^1.2.12 normal
  
  chrono ^0.4.39 normal
  
  cpu-time ^1.0.0 normal
  
  dafny-runtime ^0.2.0 normal
  
  dashmap ^6.1.0 normal
  
  pem ^3.0.4 normal
  
  tokio ^1.43.0 normal
  
  uuid ^1.12.1 normal
- Versions
- 38.18% of the crate is documented
Go to latest version
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

aws_db_esdk1.0.0

In aws_db_esdk::dynamodb::conversions::constructor

aws_db_esdk::dynamodb::conversions::constructor

Function to_dafny_plain

pub fn to_dafny_plain(value: Constructor) -> Constructor