aws-db-esdk-1.2.1
- aws-db-esdk 1.2.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.8.10 normal
  aws-lc-fips-sys ^0.13 normal optional
  aws-lc-rs ^1.15.0 normal
  aws-lc-sys ^0.33 normal optional
  aws-sdk-dynamodb ^1.99.0 normal
  aws-sdk-kms ^1.94.0 normal
  aws-smithy-runtime-api ^1.9.2 normal
  aws-smithy-types ^1.3.4 normal
  chrono ^0.4.42 normal
  cpu-time ^1.0.0 normal
  dafny-runtime ^0.3.1 normal
  dashmap ^6.1.0 normal
  pem ^3.0.6 normal
  tokio ^1.48.0 normal
  uuid ^1.18.1 normal
- Versions
- 37.98% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Module _verify_request

aws_db_esdk1.2.1

Module _verify_request

Module Items

Functions

In aws_db_esdk::com_amazonaws_kms::conversions::verify

aws_db_esdk::com_amazonaws_kms::conversions::verify

Module _verify_request

Functions§

from_dafny
to_dafny