aws_db_esdk::dynamodb::conversions

Module error

Functions§

from_dafny
to_dafny
to_opaque_error: Wraps up an arbitrary Rust Error value as a Dafny Error
to_opaque_error_result: Wraps up an arbitrary Rust Error value as a Dafny Result<T, Error>.Failure