Why Go
- Case Studies
  
  Common problems companies solve with Go
- Use Cases
  
  Stories about how and why companies use Go
- Security
  
  How Go can help keep you secure by default
Learn
Docs
- Effective Go
  
  Tips for writing clear, performant, and idiomatic Go code
- Go User Manual
  
  A complete introduction to building software with Go
- Standard library
  
  Reference documentation for Go's standard library
- Release Notes
  
  Learn what's new in each Go release
Packages
Community
- Recorded Talks
  
  Videos from prior events
- Meetups
  
  Meet other local Go developers
- Conferences
  
  Learn and network with Go developers from around the world
- Go blog
  
  The Go project's official blog.
- Go project
  
  Get help and stay informed from Go
- Get connected

comamazonawsdynamodbsmithygenerated

package

Go to main page

Versions in this module

v0

v0.3.0

Oct 28, 2025

v0.2.2

Aug 26, 2025

v0.2.1

Aug 6, 2025

Changes in this version

+ func Com_amazonaws_dynamodb_BatchStatementError_Item_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_BatchStatementError_Item_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchStatementRequest_ReturnValuesOnConditionCheckFailure_FromDafny(input interface{}) types.ReturnValuesOnConditionCheckFailure

+ func Com_amazonaws_dynamodb_BatchStatementRequest_ReturnValuesOnConditionCheckFailure_ToDafny(input types.ReturnValuesOnConditionCheckFailure) Wrappers.Option

+ func Com_amazonaws_dynamodb_DeleteItemInput_ReturnValuesOnConditionCheckFailure_FromDafny(input interface{}) types.ReturnValuesOnConditionCheckFailure

+ func Com_amazonaws_dynamodb_DeleteItemInput_ReturnValuesOnConditionCheckFailure_ToDafny(input types.ReturnValuesOnConditionCheckFailure) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExecuteStatementInput_ReturnValuesOnConditionCheckFailure_FromDafny(input interface{}) types.ReturnValuesOnConditionCheckFailure

+ func Com_amazonaws_dynamodb_ExecuteStatementInput_ReturnValuesOnConditionCheckFailure_ToDafny(input types.ReturnValuesOnConditionCheckFailure) Wrappers.Option

+ func Com_amazonaws_dynamodb_ParameterizedStatement_ReturnValuesOnConditionCheckFailure_FromDafny(input interface{}) types.ReturnValuesOnConditionCheckFailure

+ func Com_amazonaws_dynamodb_ParameterizedStatement_ReturnValuesOnConditionCheckFailure_ToDafny(input types.ReturnValuesOnConditionCheckFailure) Wrappers.Option

+ func Com_amazonaws_dynamodb_PutItemInput_ReturnValuesOnConditionCheckFailure_FromDafny(input interface{}) types.ReturnValuesOnConditionCheckFailure

+ func Com_amazonaws_dynamodb_PutItemInput_ReturnValuesOnConditionCheckFailure_ToDafny(input types.ReturnValuesOnConditionCheckFailure) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateItemInput_ReturnValuesOnConditionCheckFailure_FromDafny(input interface{}) types.ReturnValuesOnConditionCheckFailure

+ func Com_amazonaws_dynamodb_UpdateItemInput_ReturnValuesOnConditionCheckFailure_ToDafny(input types.ReturnValuesOnConditionCheckFailure) Wrappers.Option

v0.2.0

Mar 18, 2025

Changes in this version

+ func Com_amazonaws_dynamodb_ArchivalSummary_ArchivalBackupArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ArchivalSummary_ArchivalBackupArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ArchivalSummary_ArchivalDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_ArchivalSummary_ArchivalDateTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_ArchivalSummary_ArchivalReason_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ArchivalSummary_ArchivalReason_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_AttributeDefinition_AttributeName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_AttributeDefinition_AttributeName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_AttributeDefinition_AttributeType_FromDafny(input interface{}) types.ScalarAttributeType

+ func Com_amazonaws_dynamodb_AttributeDefinition_AttributeType_ToDafny(input types.ScalarAttributeType) ComAmazonawsDynamodbTypes.ScalarAttributeType

+ func Com_amazonaws_dynamodb_AttributeDefinitions_member_FromDafny(input interface{}) types.AttributeDefinition

+ func Com_amazonaws_dynamodb_AttributeDefinitions_member_ToDafny(input types.AttributeDefinition) ComAmazonawsDynamodbTypes.AttributeDefinition

+ func Com_amazonaws_dynamodb_AttributeMap_key_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_AttributeMap_key_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_AttributeMap_value_FromDafny(input interface{}) types.AttributeValue

+ func Com_amazonaws_dynamodb_AttributeMap_value_ToDafny(input types.AttributeValue) ComAmazonawsDynamodbTypes.AttributeValue

+ func Com_amazonaws_dynamodb_AttributeNameList_member_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_AttributeNameList_member_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_AttributeUpdates_key_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_AttributeUpdates_key_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_AttributeUpdates_value_FromDafny(input interface{}) types.AttributeValueUpdate

+ func Com_amazonaws_dynamodb_AttributeUpdates_value_ToDafny(input types.AttributeValueUpdate) ComAmazonawsDynamodbTypes.AttributeValueUpdate

+ func Com_amazonaws_dynamodb_AttributeValueList_member_FromDafny(input interface{}) types.AttributeValue

+ func Com_amazonaws_dynamodb_AttributeValueList_member_ToDafny(input types.AttributeValue) ComAmazonawsDynamodbTypes.AttributeValue

+ func Com_amazonaws_dynamodb_AttributeValueUpdate_Action_FromDafny(input interface{}) types.AttributeAction

+ func Com_amazonaws_dynamodb_AttributeValueUpdate_Action_ToDafny(input types.AttributeAction) Wrappers.Option

+ func Com_amazonaws_dynamodb_AttributeValueUpdate_Value_FromDafny(input interface{}) types.AttributeValue

+ func Com_amazonaws_dynamodb_AttributeValueUpdate_Value_ToDafny(input types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_AttributeValue_BOOL_FromDafny(input interface{}) bool

+ func Com_amazonaws_dynamodb_AttributeValue_BOOL_ToDafny(input bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_AttributeValue_BS_FromDafny(input interface{}) [][]byte

+ func Com_amazonaws_dynamodb_AttributeValue_BS_ToDafny(input [][]byte) Wrappers.Option

+ func Com_amazonaws_dynamodb_AttributeValue_B_FromDafny(input interface{}) []byte

+ func Com_amazonaws_dynamodb_AttributeValue_B_ToDafny(input []byte) Wrappers.Option

+ func Com_amazonaws_dynamodb_AttributeValue_L_FromDafny(input interface{}) []types.AttributeValue

+ func Com_amazonaws_dynamodb_AttributeValue_L_ToDafny(input []types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_AttributeValue_M_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_AttributeValue_M_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_AttributeValue_NS_FromDafny(input interface{}) []string

+ func Com_amazonaws_dynamodb_AttributeValue_NS_ToDafny(input []string) Wrappers.Option

+ func Com_amazonaws_dynamodb_AttributeValue_NULL_FromDafny(input interface{}) bool

+ func Com_amazonaws_dynamodb_AttributeValue_NULL_ToDafny(input bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_AttributeValue_N_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_AttributeValue_N_ToDafny(input string) Wrappers.Option

+ func Com_amazonaws_dynamodb_AttributeValue_SS_FromDafny(input interface{}) []string

+ func Com_amazonaws_dynamodb_AttributeValue_SS_ToDafny(input []string) Wrappers.Option

+ func Com_amazonaws_dynamodb_AttributeValue_S_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_AttributeValue_S_ToDafny(input string) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingPolicyDescriptionList_member_FromDafny(input interface{}) types.AutoScalingPolicyDescription

+ func Com_amazonaws_dynamodb_AutoScalingPolicyDescriptionList_member_ToDafny(input types.AutoScalingPolicyDescription) ComAmazonawsDynamodbTypes.AutoScalingPolicyDescription

+ func Com_amazonaws_dynamodb_AutoScalingPolicyDescription_PolicyName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_AutoScalingPolicyDescription_PolicyName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingPolicyDescription_TargetTrackingScalingPolicyConfiguration_FromDafny(input interface{}) *types.AutoScalingTargetTrackingScalingPolicyConfigurationDescription

+ func Com_amazonaws_dynamodb_AutoScalingPolicyDescription_TargetTrackingScalingPolicyConfiguration_ToDafny(input *types.AutoScalingTargetTrackingScalingPolicyConfigurationDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingPolicyUpdate_PolicyName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_AutoScalingPolicyUpdate_PolicyName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingPolicyUpdate_TargetTrackingScalingPolicyConfiguration_FromDafny(input interface{}) *types.AutoScalingTargetTrackingScalingPolicyConfigurationUpdate

+ func Com_amazonaws_dynamodb_AutoScalingPolicyUpdate_TargetTrackingScalingPolicyConfiguration_ToDafny(input *types.AutoScalingTargetTrackingScalingPolicyConfigurationUpdate) ...

+ func Com_amazonaws_dynamodb_AutoScalingSettingsDescription_AutoScalingDisabled_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_AutoScalingSettingsDescription_AutoScalingDisabled_ToDafny(input *bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingSettingsDescription_AutoScalingRoleArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_AutoScalingSettingsDescription_AutoScalingRoleArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingSettingsDescription_MaximumUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_AutoScalingSettingsDescription_MaximumUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingSettingsDescription_MinimumUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_AutoScalingSettingsDescription_MinimumUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingSettingsDescription_ScalingPolicies_FromDafny(input interface{}) []types.AutoScalingPolicyDescription

+ func Com_amazonaws_dynamodb_AutoScalingSettingsDescription_ScalingPolicies_ToDafny(input []types.AutoScalingPolicyDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingSettingsUpdate_AutoScalingDisabled_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_AutoScalingSettingsUpdate_AutoScalingDisabled_ToDafny(input *bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingSettingsUpdate_AutoScalingRoleArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_AutoScalingSettingsUpdate_AutoScalingRoleArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingSettingsUpdate_MaximumUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_AutoScalingSettingsUpdate_MaximumUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingSettingsUpdate_MinimumUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_AutoScalingSettingsUpdate_MinimumUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingSettingsUpdate_ScalingPolicyUpdate_FromDafny(input interface{}) *types.AutoScalingPolicyUpdate

+ func Com_amazonaws_dynamodb_AutoScalingSettingsUpdate_ScalingPolicyUpdate_ToDafny(input *types.AutoScalingPolicyUpdate) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingTargetTrackingScalingPolicyConfigurationDescription_DisableScaleIn_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_AutoScalingTargetTrackingScalingPolicyConfigurationDescription_DisableScaleIn_ToDafny(input *bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingTargetTrackingScalingPolicyConfigurationDescription_ScaleInCooldown_FromDafny(input interface{}) *int32

+ func Com_amazonaws_dynamodb_AutoScalingTargetTrackingScalingPolicyConfigurationDescription_ScaleInCooldown_ToDafny(input *int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingTargetTrackingScalingPolicyConfigurationDescription_ScaleOutCooldown_FromDafny(input interface{}) *int32

+ func Com_amazonaws_dynamodb_AutoScalingTargetTrackingScalingPolicyConfigurationDescription_ScaleOutCooldown_ToDafny(input *int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingTargetTrackingScalingPolicyConfigurationDescription_TargetValue_FromDafny(input interface{}) *float64

+ func Com_amazonaws_dynamodb_AutoScalingTargetTrackingScalingPolicyConfigurationDescription_TargetValue_ToDafny(input *float64) dafny.Sequence

+ func Com_amazonaws_dynamodb_AutoScalingTargetTrackingScalingPolicyConfigurationUpdate_DisableScaleIn_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_AutoScalingTargetTrackingScalingPolicyConfigurationUpdate_DisableScaleIn_ToDafny(input *bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingTargetTrackingScalingPolicyConfigurationUpdate_ScaleInCooldown_FromDafny(input interface{}) *int32

+ func Com_amazonaws_dynamodb_AutoScalingTargetTrackingScalingPolicyConfigurationUpdate_ScaleInCooldown_ToDafny(input *int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingTargetTrackingScalingPolicyConfigurationUpdate_ScaleOutCooldown_FromDafny(input interface{}) *int32

+ func Com_amazonaws_dynamodb_AutoScalingTargetTrackingScalingPolicyConfigurationUpdate_ScaleOutCooldown_ToDafny(input *int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_AutoScalingTargetTrackingScalingPolicyConfigurationUpdate_TargetValue_FromDafny(input interface{}) *float64

+ func Com_amazonaws_dynamodb_AutoScalingTargetTrackingScalingPolicyConfigurationUpdate_TargetValue_ToDafny(input *float64) dafny.Sequence

+ func Com_amazonaws_dynamodb_BackupDescription_BackupDetails_FromDafny(input interface{}) *types.BackupDetails

+ func Com_amazonaws_dynamodb_BackupDescription_BackupDetails_ToDafny(input *types.BackupDetails) Wrappers.Option

+ func Com_amazonaws_dynamodb_BackupDescription_SourceTableDetails_FromDafny(input interface{}) *types.SourceTableDetails

+ func Com_amazonaws_dynamodb_BackupDescription_SourceTableDetails_ToDafny(input *types.SourceTableDetails) Wrappers.Option

+ func Com_amazonaws_dynamodb_BackupDescription_SourceTableFeatureDetails_FromDafny(input interface{}) *types.SourceTableFeatureDetails

+ func Com_amazonaws_dynamodb_BackupDescription_SourceTableFeatureDetails_ToDafny(input *types.SourceTableFeatureDetails) Wrappers.Option

+ func Com_amazonaws_dynamodb_BackupDetails_BackupArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_BackupDetails_BackupArn_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_BackupDetails_BackupCreationDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_BackupDetails_BackupCreationDateTime_ToDafny(input *time.Time) dafny.Sequence

+ func Com_amazonaws_dynamodb_BackupDetails_BackupExpiryDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_BackupDetails_BackupExpiryDateTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_BackupDetails_BackupName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_BackupDetails_BackupName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_BackupDetails_BackupSizeBytes_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_BackupDetails_BackupSizeBytes_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_BackupDetails_BackupStatus_FromDafny(input interface{}) types.BackupStatus

+ func Com_amazonaws_dynamodb_BackupDetails_BackupStatus_ToDafny(input types.BackupStatus) ComAmazonawsDynamodbTypes.BackupStatus

+ func Com_amazonaws_dynamodb_BackupDetails_BackupType_FromDafny(input interface{}) types.BackupType

+ func Com_amazonaws_dynamodb_BackupDetails_BackupType_ToDafny(input types.BackupType) ComAmazonawsDynamodbTypes.BackupType

+ func Com_amazonaws_dynamodb_BackupInUseException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_BackupInUseException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_BackupNotFoundException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_BackupNotFoundException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_BackupSummaries_member_FromDafny(input interface{}) types.BackupSummary

+ func Com_amazonaws_dynamodb_BackupSummaries_member_ToDafny(input types.BackupSummary) ComAmazonawsDynamodbTypes.BackupSummary

+ func Com_amazonaws_dynamodb_BackupSummary_BackupArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_BackupSummary_BackupArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_BackupSummary_BackupCreationDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_BackupSummary_BackupCreationDateTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_BackupSummary_BackupExpiryDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_BackupSummary_BackupExpiryDateTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_BackupSummary_BackupName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_BackupSummary_BackupName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_BackupSummary_BackupSizeBytes_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_BackupSummary_BackupSizeBytes_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_BackupSummary_BackupStatus_FromDafny(input interface{}) types.BackupStatus

+ func Com_amazonaws_dynamodb_BackupSummary_BackupStatus_ToDafny(input types.BackupStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_BackupSummary_BackupType_FromDafny(input interface{}) types.BackupType

+ func Com_amazonaws_dynamodb_BackupSummary_BackupType_ToDafny(input types.BackupType) Wrappers.Option

+ func Com_amazonaws_dynamodb_BackupSummary_TableArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_BackupSummary_TableArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_BackupSummary_TableId_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_BackupSummary_TableId_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_BackupSummary_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_BackupSummary_TableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchExecuteStatementInput_ReturnConsumedCapacity_FromDafny(input interface{}) types.ReturnConsumedCapacity

+ func Com_amazonaws_dynamodb_BatchExecuteStatementInput_ReturnConsumedCapacity_ToDafny(input types.ReturnConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchExecuteStatementInput_Statements_FromDafny(input interface{}) []types.BatchStatementRequest

+ func Com_amazonaws_dynamodb_BatchExecuteStatementInput_Statements_ToDafny(input []types.BatchStatementRequest) dafny.Sequence

+ func Com_amazonaws_dynamodb_BatchExecuteStatementOutput_ConsumedCapacity_FromDafny(input interface{}) []types.ConsumedCapacity

+ func Com_amazonaws_dynamodb_BatchExecuteStatementOutput_ConsumedCapacity_ToDafny(input []types.ConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchExecuteStatementOutput_Responses_FromDafny(input interface{}) []types.BatchStatementResponse

+ func Com_amazonaws_dynamodb_BatchExecuteStatementOutput_Responses_ToDafny(input []types.BatchStatementResponse) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchGetItemInput_RequestItems_FromDafny(input interface{}) map[string]types.KeysAndAttributes

+ func Com_amazonaws_dynamodb_BatchGetItemInput_RequestItems_ToDafny(input map[string]types.KeysAndAttributes) dafny.Map

+ func Com_amazonaws_dynamodb_BatchGetItemInput_ReturnConsumedCapacity_FromDafny(input interface{}) types.ReturnConsumedCapacity

+ func Com_amazonaws_dynamodb_BatchGetItemInput_ReturnConsumedCapacity_ToDafny(input types.ReturnConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchGetItemOutput_ConsumedCapacity_FromDafny(input interface{}) []types.ConsumedCapacity

+ func Com_amazonaws_dynamodb_BatchGetItemOutput_ConsumedCapacity_ToDafny(input []types.ConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchGetItemOutput_Responses_FromDafny(input interface{}) map[string][]map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_BatchGetItemOutput_Responses_ToDafny(input map[string][]map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchGetItemOutput_UnprocessedKeys_FromDafny(input interface{}) map[string]types.KeysAndAttributes

+ func Com_amazonaws_dynamodb_BatchGetItemOutput_UnprocessedKeys_ToDafny(input map[string]types.KeysAndAttributes) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchGetRequestMap_key_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_BatchGetRequestMap_key_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_BatchGetRequestMap_value_FromDafny(input interface{}) types.KeysAndAttributes

+ func Com_amazonaws_dynamodb_BatchGetRequestMap_value_ToDafny(input types.KeysAndAttributes) ComAmazonawsDynamodbTypes.KeysAndAttributes

+ func Com_amazonaws_dynamodb_BatchGetResponseMap_key_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_BatchGetResponseMap_key_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_BatchGetResponseMap_value_FromDafny(input interface{}) []map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_BatchGetResponseMap_value_ToDafny(input []map[string]types.AttributeValue) dafny.Sequence

+ func Com_amazonaws_dynamodb_BatchStatementError_Code_FromDafny(input interface{}) types.BatchStatementErrorCodeEnum

+ func Com_amazonaws_dynamodb_BatchStatementError_Code_ToDafny(input types.BatchStatementErrorCodeEnum) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchStatementError_Message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_BatchStatementError_Message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchStatementRequest_ConsistentRead_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_BatchStatementRequest_ConsistentRead_ToDafny(input *bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchStatementRequest_Parameters_FromDafny(input interface{}) []types.AttributeValue

+ func Com_amazonaws_dynamodb_BatchStatementRequest_Parameters_ToDafny(input []types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchStatementRequest_Statement_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_BatchStatementRequest_Statement_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_BatchStatementResponse_Error_FromDafny(input interface{}) *types.BatchStatementError

+ func Com_amazonaws_dynamodb_BatchStatementResponse_Error_ToDafny(input *types.BatchStatementError) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchStatementResponse_Item_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_BatchStatementResponse_Item_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchStatementResponse_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_BatchStatementResponse_TableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchWriteItemInput_RequestItems_FromDafny(input interface{}) map[string][]types.WriteRequest

+ func Com_amazonaws_dynamodb_BatchWriteItemInput_RequestItems_ToDafny(input map[string][]types.WriteRequest) dafny.Map

+ func Com_amazonaws_dynamodb_BatchWriteItemInput_ReturnConsumedCapacity_FromDafny(input interface{}) types.ReturnConsumedCapacity

+ func Com_amazonaws_dynamodb_BatchWriteItemInput_ReturnConsumedCapacity_ToDafny(input types.ReturnConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchWriteItemInput_ReturnItemCollectionMetrics_FromDafny(input interface{}) types.ReturnItemCollectionMetrics

+ func Com_amazonaws_dynamodb_BatchWriteItemInput_ReturnItemCollectionMetrics_ToDafny(input types.ReturnItemCollectionMetrics) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchWriteItemOutput_ConsumedCapacity_FromDafny(input interface{}) []types.ConsumedCapacity

+ func Com_amazonaws_dynamodb_BatchWriteItemOutput_ConsumedCapacity_ToDafny(input []types.ConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchWriteItemOutput_ItemCollectionMetrics_FromDafny(input interface{}) map[string][]types.ItemCollectionMetrics

+ func Com_amazonaws_dynamodb_BatchWriteItemOutput_ItemCollectionMetrics_ToDafny(input map[string][]types.ItemCollectionMetrics) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchWriteItemOutput_UnprocessedItems_FromDafny(input interface{}) map[string][]types.WriteRequest

+ func Com_amazonaws_dynamodb_BatchWriteItemOutput_UnprocessedItems_ToDafny(input map[string][]types.WriteRequest) Wrappers.Option

+ func Com_amazonaws_dynamodb_BatchWriteItemRequestMap_key_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_BatchWriteItemRequestMap_key_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_BatchWriteItemRequestMap_value_FromDafny(input interface{}) []types.WriteRequest

+ func Com_amazonaws_dynamodb_BatchWriteItemRequestMap_value_ToDafny(input []types.WriteRequest) dafny.Sequence

+ func Com_amazonaws_dynamodb_BillingModeSummary_BillingMode_FromDafny(input interface{}) types.BillingMode

+ func Com_amazonaws_dynamodb_BillingModeSummary_BillingMode_ToDafny(input types.BillingMode) Wrappers.Option

+ func Com_amazonaws_dynamodb_BillingModeSummary_LastUpdateToPayPerRequestDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_BillingModeSummary_LastUpdateToPayPerRequestDateTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_BinarySetAttributeValue_member_FromDafny(input interface{}) []byte

+ func Com_amazonaws_dynamodb_BinarySetAttributeValue_member_ToDafny(input []byte) dafny.Sequence

+ func Com_amazonaws_dynamodb_CancellationReasonList_member_FromDafny(input interface{}) types.CancellationReason

+ func Com_amazonaws_dynamodb_CancellationReasonList_member_ToDafny(input types.CancellationReason) ComAmazonawsDynamodbTypes.CancellationReason

+ func Com_amazonaws_dynamodb_CancellationReason_Code_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_CancellationReason_Code_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_CancellationReason_Item_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_CancellationReason_Item_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_CancellationReason_Message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_CancellationReason_Message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_Capacity_CapacityUnits_FromDafny(input interface{}) *float64

+ func Com_amazonaws_dynamodb_Capacity_CapacityUnits_ToDafny(input *float64) Wrappers.Option

+ func Com_amazonaws_dynamodb_Capacity_ReadCapacityUnits_FromDafny(input interface{}) *float64

+ func Com_amazonaws_dynamodb_Capacity_ReadCapacityUnits_ToDafny(input *float64) Wrappers.Option

+ func Com_amazonaws_dynamodb_Capacity_WriteCapacityUnits_FromDafny(input interface{}) *float64

+ func Com_amazonaws_dynamodb_Capacity_WriteCapacityUnits_ToDafny(input *float64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ConditionCheck_ConditionExpression_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ConditionCheck_ConditionExpression_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ConditionCheck_ExpressionAttributeNames_FromDafny(input interface{}) map[string]string

+ func Com_amazonaws_dynamodb_ConditionCheck_ExpressionAttributeNames_ToDafny(input map[string]string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ConditionCheck_ExpressionAttributeValues_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_ConditionCheck_ExpressionAttributeValues_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_ConditionCheck_Key_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_ConditionCheck_Key_ToDafny(input map[string]types.AttributeValue) dafny.Map

+ func Com_amazonaws_dynamodb_ConditionCheck_ReturnValuesOnConditionCheckFailure_FromDafny(input interface{}) types.ReturnValuesOnConditionCheckFailure

+ func Com_amazonaws_dynamodb_ConditionCheck_ReturnValuesOnConditionCheckFailure_ToDafny(input types.ReturnValuesOnConditionCheckFailure) Wrappers.Option

+ func Com_amazonaws_dynamodb_ConditionCheck_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ConditionCheck_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_Condition_AttributeValueList_FromDafny(input interface{}) []types.AttributeValue

+ func Com_amazonaws_dynamodb_Condition_AttributeValueList_ToDafny(input []types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_Condition_ComparisonOperator_FromDafny(input interface{}) types.ComparisonOperator

+ func Com_amazonaws_dynamodb_Condition_ComparisonOperator_ToDafny(input types.ComparisonOperator) ComAmazonawsDynamodbTypes.ComparisonOperator

+ func Com_amazonaws_dynamodb_ConditionalCheckFailedException_Item_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_ConditionalCheckFailedException_Item_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_ConditionalCheckFailedException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ConditionalCheckFailedException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ConsumedCapacityMultiple_member_FromDafny(input interface{}) types.ConsumedCapacity

+ func Com_amazonaws_dynamodb_ConsumedCapacityMultiple_member_ToDafny(input types.ConsumedCapacity) ComAmazonawsDynamodbTypes.ConsumedCapacity

+ func Com_amazonaws_dynamodb_ConsumedCapacity_CapacityUnits_FromDafny(input interface{}) *float64

+ func Com_amazonaws_dynamodb_ConsumedCapacity_CapacityUnits_ToDafny(input *float64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ConsumedCapacity_GlobalSecondaryIndexes_FromDafny(input interface{}) map[string]types.Capacity

+ func Com_amazonaws_dynamodb_ConsumedCapacity_GlobalSecondaryIndexes_ToDafny(input map[string]types.Capacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_ConsumedCapacity_LocalSecondaryIndexes_FromDafny(input interface{}) map[string]types.Capacity

+ func Com_amazonaws_dynamodb_ConsumedCapacity_LocalSecondaryIndexes_ToDafny(input map[string]types.Capacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_ConsumedCapacity_ReadCapacityUnits_FromDafny(input interface{}) *float64

+ func Com_amazonaws_dynamodb_ConsumedCapacity_ReadCapacityUnits_ToDafny(input *float64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ConsumedCapacity_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ConsumedCapacity_TableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ConsumedCapacity_Table_FromDafny(input interface{}) *types.Capacity

+ func Com_amazonaws_dynamodb_ConsumedCapacity_Table_ToDafny(input *types.Capacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_ConsumedCapacity_WriteCapacityUnits_FromDafny(input interface{}) *float64

+ func Com_amazonaws_dynamodb_ConsumedCapacity_WriteCapacityUnits_ToDafny(input *float64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ContinuousBackupsDescription_ContinuousBackupsStatus_FromDafny(input interface{}) types.ContinuousBackupsStatus

+ func Com_amazonaws_dynamodb_ContinuousBackupsDescription_ContinuousBackupsStatus_ToDafny(input types.ContinuousBackupsStatus) ComAmazonawsDynamodbTypes.ContinuousBackupsStatus

+ func Com_amazonaws_dynamodb_ContinuousBackupsDescription_PointInTimeRecoveryDescription_FromDafny(input interface{}) *types.PointInTimeRecoveryDescription

+ func Com_amazonaws_dynamodb_ContinuousBackupsDescription_PointInTimeRecoveryDescription_ToDafny(input *types.PointInTimeRecoveryDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_ContinuousBackupsUnavailableException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ContinuousBackupsUnavailableException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ContributorInsightsRuleList_member_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_ContributorInsightsRuleList_member_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ContributorInsightsSummaries_member_FromDafny(input interface{}) types.ContributorInsightsSummary

+ func Com_amazonaws_dynamodb_ContributorInsightsSummaries_member_ToDafny(input types.ContributorInsightsSummary) ComAmazonawsDynamodbTypes.ContributorInsightsSummary

+ func Com_amazonaws_dynamodb_ContributorInsightsSummary_ContributorInsightsStatus_FromDafny(input interface{}) types.ContributorInsightsStatus

+ func Com_amazonaws_dynamodb_ContributorInsightsSummary_ContributorInsightsStatus_ToDafny(input types.ContributorInsightsStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_ContributorInsightsSummary_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ContributorInsightsSummary_IndexName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ContributorInsightsSummary_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ContributorInsightsSummary_TableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateBackupInput_BackupName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_CreateBackupInput_BackupName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_CreateBackupInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_CreateBackupInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_CreateBackupOutput_BackupDetails_FromDafny(input interface{}) *types.BackupDetails

+ func Com_amazonaws_dynamodb_CreateBackupOutput_BackupDetails_ToDafny(input *types.BackupDetails) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateGlobalSecondaryIndexAction_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_CreateGlobalSecondaryIndexAction_IndexName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_CreateGlobalSecondaryIndexAction_KeySchema_FromDafny(input interface{}) []types.KeySchemaElement

+ func Com_amazonaws_dynamodb_CreateGlobalSecondaryIndexAction_KeySchema_ToDafny(input []types.KeySchemaElement) dafny.Sequence

+ func Com_amazonaws_dynamodb_CreateGlobalSecondaryIndexAction_OnDemandThroughput_FromDafny(input interface{}) *types.OnDemandThroughput

+ func Com_amazonaws_dynamodb_CreateGlobalSecondaryIndexAction_OnDemandThroughput_ToDafny(input *types.OnDemandThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateGlobalSecondaryIndexAction_Projection_FromDafny(input interface{}) *types.Projection

+ func Com_amazonaws_dynamodb_CreateGlobalSecondaryIndexAction_Projection_ToDafny(input *types.Projection) ComAmazonawsDynamodbTypes.Projection

+ func Com_amazonaws_dynamodb_CreateGlobalSecondaryIndexAction_ProvisionedThroughput_FromDafny(input interface{}) *types.ProvisionedThroughput

+ func Com_amazonaws_dynamodb_CreateGlobalSecondaryIndexAction_ProvisionedThroughput_ToDafny(input *types.ProvisionedThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateGlobalTableInput_GlobalTableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_CreateGlobalTableInput_GlobalTableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_CreateGlobalTableInput_ReplicationGroup_FromDafny(input interface{}) []types.Replica

+ func Com_amazonaws_dynamodb_CreateGlobalTableInput_ReplicationGroup_ToDafny(input []types.Replica) dafny.Sequence

+ func Com_amazonaws_dynamodb_CreateGlobalTableOutput_GlobalTableDescription_FromDafny(input interface{}) *types.GlobalTableDescription

+ func Com_amazonaws_dynamodb_CreateGlobalTableOutput_GlobalTableDescription_ToDafny(input *types.GlobalTableDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateReplicaAction_RegionName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_CreateReplicaAction_RegionName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_CreateReplicationGroupMemberAction_GlobalSecondaryIndexes_FromDafny(input interface{}) []types.ReplicaGlobalSecondaryIndex

+ func Com_amazonaws_dynamodb_CreateReplicationGroupMemberAction_GlobalSecondaryIndexes_ToDafny(input []types.ReplicaGlobalSecondaryIndex) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateReplicationGroupMemberAction_KMSMasterKeyId_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_CreateReplicationGroupMemberAction_KMSMasterKeyId_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateReplicationGroupMemberAction_OnDemandThroughputOverride_FromDafny(input interface{}) *types.OnDemandThroughputOverride

+ func Com_amazonaws_dynamodb_CreateReplicationGroupMemberAction_OnDemandThroughputOverride_ToDafny(input *types.OnDemandThroughputOverride) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateReplicationGroupMemberAction_ProvisionedThroughputOverride_FromDafny(input interface{}) *types.ProvisionedThroughputOverride

+ func Com_amazonaws_dynamodb_CreateReplicationGroupMemberAction_ProvisionedThroughputOverride_ToDafny(input *types.ProvisionedThroughputOverride) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateReplicationGroupMemberAction_RegionName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_CreateReplicationGroupMemberAction_RegionName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_CreateReplicationGroupMemberAction_TableClassOverride_FromDafny(input interface{}) types.TableClass

+ func Com_amazonaws_dynamodb_CreateReplicationGroupMemberAction_TableClassOverride_ToDafny(input types.TableClass) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateTableInput_AttributeDefinitions_FromDafny(input interface{}) []types.AttributeDefinition

+ func Com_amazonaws_dynamodb_CreateTableInput_AttributeDefinitions_ToDafny(input []types.AttributeDefinition) dafny.Sequence

+ func Com_amazonaws_dynamodb_CreateTableInput_BillingMode_FromDafny(input interface{}) types.BillingMode

+ func Com_amazonaws_dynamodb_CreateTableInput_BillingMode_ToDafny(input types.BillingMode) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateTableInput_DeletionProtectionEnabled_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_CreateTableInput_DeletionProtectionEnabled_ToDafny(input *bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateTableInput_GlobalSecondaryIndexes_FromDafny(input interface{}) []types.GlobalSecondaryIndex

+ func Com_amazonaws_dynamodb_CreateTableInput_GlobalSecondaryIndexes_ToDafny(input []types.GlobalSecondaryIndex) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateTableInput_KeySchema_FromDafny(input interface{}) []types.KeySchemaElement

+ func Com_amazonaws_dynamodb_CreateTableInput_KeySchema_ToDafny(input []types.KeySchemaElement) dafny.Sequence

+ func Com_amazonaws_dynamodb_CreateTableInput_LocalSecondaryIndexes_FromDafny(input interface{}) []types.LocalSecondaryIndex

+ func Com_amazonaws_dynamodb_CreateTableInput_LocalSecondaryIndexes_ToDafny(input []types.LocalSecondaryIndex) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateTableInput_OnDemandThroughput_FromDafny(input interface{}) *types.OnDemandThroughput

+ func Com_amazonaws_dynamodb_CreateTableInput_OnDemandThroughput_ToDafny(input *types.OnDemandThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateTableInput_ProvisionedThroughput_FromDafny(input interface{}) *types.ProvisionedThroughput

+ func Com_amazonaws_dynamodb_CreateTableInput_ProvisionedThroughput_ToDafny(input *types.ProvisionedThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateTableInput_ResourcePolicy_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_CreateTableInput_ResourcePolicy_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateTableInput_SSESpecification_FromDafny(input interface{}) *types.SSESpecification

+ func Com_amazonaws_dynamodb_CreateTableInput_SSESpecification_ToDafny(input *types.SSESpecification) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateTableInput_StreamSpecification_FromDafny(input interface{}) *types.StreamSpecification

+ func Com_amazonaws_dynamodb_CreateTableInput_StreamSpecification_ToDafny(input *types.StreamSpecification) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateTableInput_TableClass_FromDafny(input interface{}) types.TableClass

+ func Com_amazonaws_dynamodb_CreateTableInput_TableClass_ToDafny(input types.TableClass) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateTableInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_CreateTableInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_CreateTableInput_Tags_FromDafny(input interface{}) []types.Tag

+ func Com_amazonaws_dynamodb_CreateTableInput_Tags_ToDafny(input []types.Tag) Wrappers.Option

+ func Com_amazonaws_dynamodb_CreateTableOutput_TableDescription_FromDafny(input interface{}) *types.TableDescription

+ func Com_amazonaws_dynamodb_CreateTableOutput_TableDescription_ToDafny(input *types.TableDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_CsvHeaderList_member_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_CsvHeaderList_member_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_CsvOptions_Delimiter_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_CsvOptions_Delimiter_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_CsvOptions_HeaderList_FromDafny(input interface{}) []string

+ func Com_amazonaws_dynamodb_CsvOptions_HeaderList_ToDafny(input []string) Wrappers.Option

+ func Com_amazonaws_dynamodb_DeleteBackupInput_BackupArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DeleteBackupInput_BackupArn_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DeleteBackupOutput_BackupDescription_FromDafny(input interface{}) *types.BackupDescription

+ func Com_amazonaws_dynamodb_DeleteBackupOutput_BackupDescription_ToDafny(input *types.BackupDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_DeleteGlobalSecondaryIndexAction_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DeleteGlobalSecondaryIndexAction_IndexName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DeleteItemInput_ConditionExpression_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DeleteItemInput_ConditionExpression_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_DeleteItemInput_ConditionalOperator_FromDafny(input interface{}) types.ConditionalOperator

+ func Com_amazonaws_dynamodb_DeleteItemInput_ConditionalOperator_ToDafny(input types.ConditionalOperator) Wrappers.Option

+ func Com_amazonaws_dynamodb_DeleteItemInput_Expected_FromDafny(input interface{}) map[string]types.ExpectedAttributeValue

+ func Com_amazonaws_dynamodb_DeleteItemInput_Expected_ToDafny(input map[string]types.ExpectedAttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_DeleteItemInput_ExpressionAttributeNames_FromDafny(input interface{}) map[string]string

+ func Com_amazonaws_dynamodb_DeleteItemInput_ExpressionAttributeNames_ToDafny(input map[string]string) Wrappers.Option

+ func Com_amazonaws_dynamodb_DeleteItemInput_ExpressionAttributeValues_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_DeleteItemInput_ExpressionAttributeValues_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_DeleteItemInput_Key_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_DeleteItemInput_Key_ToDafny(input map[string]types.AttributeValue) dafny.Map

+ func Com_amazonaws_dynamodb_DeleteItemInput_ReturnConsumedCapacity_FromDafny(input interface{}) types.ReturnConsumedCapacity

+ func Com_amazonaws_dynamodb_DeleteItemInput_ReturnConsumedCapacity_ToDafny(input types.ReturnConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_DeleteItemInput_ReturnItemCollectionMetrics_FromDafny(input interface{}) types.ReturnItemCollectionMetrics

+ func Com_amazonaws_dynamodb_DeleteItemInput_ReturnItemCollectionMetrics_ToDafny(input types.ReturnItemCollectionMetrics) Wrappers.Option

+ func Com_amazonaws_dynamodb_DeleteItemInput_ReturnValues_FromDafny(input interface{}) types.ReturnValue

+ func Com_amazonaws_dynamodb_DeleteItemInput_ReturnValues_ToDafny(input types.ReturnValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_DeleteItemInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DeleteItemInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DeleteItemOutput_Attributes_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_DeleteItemOutput_Attributes_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_DeleteItemOutput_ConsumedCapacity_FromDafny(input interface{}) *types.ConsumedCapacity

+ func Com_amazonaws_dynamodb_DeleteItemOutput_ConsumedCapacity_ToDafny(input *types.ConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_DeleteItemOutput_ItemCollectionMetrics_FromDafny(input interface{}) *types.ItemCollectionMetrics

+ func Com_amazonaws_dynamodb_DeleteItemOutput_ItemCollectionMetrics_ToDafny(input *types.ItemCollectionMetrics) Wrappers.Option

+ func Com_amazonaws_dynamodb_DeleteReplicaAction_RegionName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DeleteReplicaAction_RegionName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DeleteReplicationGroupMemberAction_RegionName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DeleteReplicationGroupMemberAction_RegionName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DeleteRequest_Key_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_DeleteRequest_Key_ToDafny(input map[string]types.AttributeValue) dafny.Map

+ func Com_amazonaws_dynamodb_DeleteResourcePolicyInput_ExpectedRevisionId_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DeleteResourcePolicyInput_ExpectedRevisionId_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_DeleteResourcePolicyInput_ResourceArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DeleteResourcePolicyInput_ResourceArn_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DeleteResourcePolicyOutput_RevisionId_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DeleteResourcePolicyOutput_RevisionId_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_DeleteTableInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DeleteTableInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DeleteTableOutput_TableDescription_FromDafny(input interface{}) *types.TableDescription

+ func Com_amazonaws_dynamodb_DeleteTableOutput_TableDescription_ToDafny(input *types.TableDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_Delete_ConditionExpression_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_Delete_ConditionExpression_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_Delete_ExpressionAttributeNames_FromDafny(input interface{}) map[string]string

+ func Com_amazonaws_dynamodb_Delete_ExpressionAttributeNames_ToDafny(input map[string]string) Wrappers.Option

+ func Com_amazonaws_dynamodb_Delete_ExpressionAttributeValues_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_Delete_ExpressionAttributeValues_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_Delete_Key_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_Delete_Key_ToDafny(input map[string]types.AttributeValue) dafny.Map

+ func Com_amazonaws_dynamodb_Delete_ReturnValuesOnConditionCheckFailure_FromDafny(input interface{}) types.ReturnValuesOnConditionCheckFailure

+ func Com_amazonaws_dynamodb_Delete_ReturnValuesOnConditionCheckFailure_ToDafny(input types.ReturnValuesOnConditionCheckFailure) Wrappers.Option

+ func Com_amazonaws_dynamodb_Delete_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_Delete_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DescribeBackupInput_BackupArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DescribeBackupInput_BackupArn_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DescribeBackupOutput_BackupDescription_FromDafny(input interface{}) *types.BackupDescription

+ func Com_amazonaws_dynamodb_DescribeBackupOutput_BackupDescription_ToDafny(input *types.BackupDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeContinuousBackupsInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DescribeContinuousBackupsInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DescribeContinuousBackupsOutput_ContinuousBackupsDescription_FromDafny(input interface{}) *types.ContinuousBackupsDescription

+ func Com_amazonaws_dynamodb_DescribeContinuousBackupsOutput_ContinuousBackupsDescription_ToDafny(input *types.ContinuousBackupsDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeContributorInsightsInput_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DescribeContributorInsightsInput_IndexName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeContributorInsightsInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DescribeContributorInsightsInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DescribeContributorInsightsOutput_ContributorInsightsRuleList_FromDafny(input interface{}) []string

+ func Com_amazonaws_dynamodb_DescribeContributorInsightsOutput_ContributorInsightsRuleList_ToDafny(input []string) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeContributorInsightsOutput_ContributorInsightsStatus_FromDafny(input interface{}) types.ContributorInsightsStatus

+ func Com_amazonaws_dynamodb_DescribeContributorInsightsOutput_ContributorInsightsStatus_ToDafny(input types.ContributorInsightsStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeContributorInsightsOutput_FailureException_FromDafny(input interface{}) *types.FailureException

+ func Com_amazonaws_dynamodb_DescribeContributorInsightsOutput_FailureException_ToDafny(input *types.FailureException) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeContributorInsightsOutput_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DescribeContributorInsightsOutput_IndexName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeContributorInsightsOutput_LastUpdateDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_DescribeContributorInsightsOutput_LastUpdateDateTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeContributorInsightsOutput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DescribeContributorInsightsOutput_TableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeEndpointsOutput_Endpoints_FromDafny(input interface{}) []types.Endpoint

+ func Com_amazonaws_dynamodb_DescribeEndpointsResponse_Endpoints_ToDafny(input []types.Endpoint) dafny.Sequence

+ func Com_amazonaws_dynamodb_DescribeExportInput_ExportArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DescribeExportInput_ExportArn_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DescribeExportOutput_ExportDescription_FromDafny(input interface{}) *types.ExportDescription

+ func Com_amazonaws_dynamodb_DescribeExportOutput_ExportDescription_ToDafny(input *types.ExportDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeGlobalTableInput_GlobalTableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DescribeGlobalTableInput_GlobalTableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DescribeGlobalTableOutput_GlobalTableDescription_FromDafny(input interface{}) *types.GlobalTableDescription

+ func Com_amazonaws_dynamodb_DescribeGlobalTableOutput_GlobalTableDescription_ToDafny(input *types.GlobalTableDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeGlobalTableSettingsInput_GlobalTableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DescribeGlobalTableSettingsInput_GlobalTableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DescribeGlobalTableSettingsOutput_GlobalTableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DescribeGlobalTableSettingsOutput_GlobalTableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeGlobalTableSettingsOutput_ReplicaSettings_FromDafny(input interface{}) []types.ReplicaSettingsDescription

+ func Com_amazonaws_dynamodb_DescribeGlobalTableSettingsOutput_ReplicaSettings_ToDafny(input []types.ReplicaSettingsDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeImportInput_ImportArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DescribeImportInput_ImportArn_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DescribeImportOutput_ImportTableDescription_FromDafny(input interface{}) *types.ImportTableDescription

+ func Com_amazonaws_dynamodb_DescribeImportOutput_ImportTableDescription_ToDafny(input *types.ImportTableDescription) ComAmazonawsDynamodbTypes.ImportTableDescription

+ func Com_amazonaws_dynamodb_DescribeKinesisStreamingDestinationInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DescribeKinesisStreamingDestinationInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DescribeKinesisStreamingDestinationOutput_KinesisDataStreamDestinations_FromDafny(input interface{}) []types.KinesisDataStreamDestination

+ func Com_amazonaws_dynamodb_DescribeKinesisStreamingDestinationOutput_KinesisDataStreamDestinations_ToDafny(input []types.KinesisDataStreamDestination) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeKinesisStreamingDestinationOutput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DescribeKinesisStreamingDestinationOutput_TableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeLimitsOutput_AccountMaxReadCapacityUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_DescribeLimitsOutput_AccountMaxReadCapacityUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeLimitsOutput_AccountMaxWriteCapacityUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_DescribeLimitsOutput_AccountMaxWriteCapacityUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeLimitsOutput_TableMaxReadCapacityUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_DescribeLimitsOutput_TableMaxReadCapacityUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeLimitsOutput_TableMaxWriteCapacityUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_DescribeLimitsOutput_TableMaxWriteCapacityUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeTableInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DescribeTableInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DescribeTableOutput_Table_FromDafny(input interface{}) *types.TableDescription

+ func Com_amazonaws_dynamodb_DescribeTableOutput_Table_ToDafny(input *types.TableDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeTableReplicaAutoScalingInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DescribeTableReplicaAutoScalingInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DescribeTableReplicaAutoScalingOutput_TableAutoScalingDescription_FromDafny(input interface{}) *types.TableAutoScalingDescription

+ func Com_amazonaws_dynamodb_DescribeTableReplicaAutoScalingOutput_TableAutoScalingDescription_ToDafny(input *types.TableAutoScalingDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_DescribeTimeToLiveInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DescribeTimeToLiveInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DescribeTimeToLiveOutput_TimeToLiveDescription_FromDafny(input interface{}) *types.TimeToLiveDescription

+ func Com_amazonaws_dynamodb_DescribeTimeToLiveOutput_TimeToLiveDescription_ToDafny(input *types.TimeToLiveDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_DisableKinesisStreamingDestinationInput_EnableKinesisStreamingConfiguration_FromDafny(input interface{}) *types.EnableKinesisStreamingConfiguration

+ func Com_amazonaws_dynamodb_DisableKinesisStreamingDestinationInput_EnableKinesisStreamingConfiguration_ToDafny(input *types.EnableKinesisStreamingConfiguration) Wrappers.Option

+ func Com_amazonaws_dynamodb_DisableKinesisStreamingDestinationInput_StreamArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DisableKinesisStreamingDestinationInput_StreamArn_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DisableKinesisStreamingDestinationInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DisableKinesisStreamingDestinationInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_DisableKinesisStreamingDestinationOutput_DestinationStatus_FromDafny(input interface{}) types.DestinationStatus

+ func Com_amazonaws_dynamodb_DisableKinesisStreamingDestinationOutput_DestinationStatus_ToDafny(input types.DestinationStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_DisableKinesisStreamingDestinationOutput_EnableKinesisStreamingConfiguration_FromDafny(input interface{}) *types.EnableKinesisStreamingConfiguration

+ func Com_amazonaws_dynamodb_DisableKinesisStreamingDestinationOutput_EnableKinesisStreamingConfiguration_ToDafny(input *types.EnableKinesisStreamingConfiguration) Wrappers.Option

+ func Com_amazonaws_dynamodb_DisableKinesisStreamingDestinationOutput_StreamArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DisableKinesisStreamingDestinationOutput_StreamArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_DisableKinesisStreamingDestinationOutput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DisableKinesisStreamingDestinationOutput_TableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_DuplicateItemException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_DuplicateItemException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_EnableKinesisStreamingConfiguration_ApproximateCreationDateTimePrecision_FromDafny(input interface{}) types.ApproximateCreationDateTimePrecision

+ func Com_amazonaws_dynamodb_EnableKinesisStreamingConfiguration_ApproximateCreationDateTimePrecision_ToDafny(input types.ApproximateCreationDateTimePrecision) Wrappers.Option

+ func Com_amazonaws_dynamodb_EnableKinesisStreamingDestinationInput_EnableKinesisStreamingConfiguration_FromDafny(input interface{}) *types.EnableKinesisStreamingConfiguration

+ func Com_amazonaws_dynamodb_EnableKinesisStreamingDestinationInput_EnableKinesisStreamingConfiguration_ToDafny(input *types.EnableKinesisStreamingConfiguration) Wrappers.Option

+ func Com_amazonaws_dynamodb_EnableKinesisStreamingDestinationInput_StreamArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_EnableKinesisStreamingDestinationInput_StreamArn_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_EnableKinesisStreamingDestinationInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_EnableKinesisStreamingDestinationInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_EnableKinesisStreamingDestinationOutput_DestinationStatus_FromDafny(input interface{}) types.DestinationStatus

+ func Com_amazonaws_dynamodb_EnableKinesisStreamingDestinationOutput_DestinationStatus_ToDafny(input types.DestinationStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_EnableKinesisStreamingDestinationOutput_EnableKinesisStreamingConfiguration_FromDafny(input interface{}) *types.EnableKinesisStreamingConfiguration

+ func Com_amazonaws_dynamodb_EnableKinesisStreamingDestinationOutput_EnableKinesisStreamingConfiguration_ToDafny(input *types.EnableKinesisStreamingConfiguration) Wrappers.Option

+ func Com_amazonaws_dynamodb_EnableKinesisStreamingDestinationOutput_StreamArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_EnableKinesisStreamingDestinationOutput_StreamArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_EnableKinesisStreamingDestinationOutput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_EnableKinesisStreamingDestinationOutput_TableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_Endpoint_Address_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_Endpoint_Address_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_Endpoint_CachePeriodInMinutes_FromDafny(input interface{}) int64

+ func Com_amazonaws_dynamodb_Endpoint_CachePeriodInMinutes_ToDafny(input int64) int64

+ func Com_amazonaws_dynamodb_Endpoints_member_FromDafny(input interface{}) types.Endpoint

+ func Com_amazonaws_dynamodb_Endpoints_member_ToDafny(input types.Endpoint) ComAmazonawsDynamodbTypes.Endpoint

+ func Com_amazonaws_dynamodb_ExecuteStatementInput_ConsistentRead_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_ExecuteStatementInput_ConsistentRead_ToDafny(input *bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExecuteStatementInput_Limit_FromDafny(input interface{}) *int32

+ func Com_amazonaws_dynamodb_ExecuteStatementInput_Limit_ToDafny(input *int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExecuteStatementInput_NextToken_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExecuteStatementInput_NextToken_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExecuteStatementInput_Parameters_FromDafny(input interface{}) []types.AttributeValue

+ func Com_amazonaws_dynamodb_ExecuteStatementInput_Parameters_ToDafny(input []types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExecuteStatementInput_ReturnConsumedCapacity_FromDafny(input interface{}) types.ReturnConsumedCapacity

+ func Com_amazonaws_dynamodb_ExecuteStatementInput_ReturnConsumedCapacity_ToDafny(input types.ReturnConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExecuteStatementInput_Statement_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExecuteStatementInput_Statement_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ExecuteStatementOutput_ConsumedCapacity_FromDafny(input interface{}) *types.ConsumedCapacity

+ func Com_amazonaws_dynamodb_ExecuteStatementOutput_ConsumedCapacity_ToDafny(input *types.ConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExecuteStatementOutput_Items_FromDafny(input interface{}) []map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_ExecuteStatementOutput_Items_ToDafny(input []map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExecuteStatementOutput_LastEvaluatedKey_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_ExecuteStatementOutput_LastEvaluatedKey_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExecuteStatementOutput_NextToken_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExecuteStatementOutput_NextToken_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExecuteTransactionInput_ClientRequestToken_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExecuteTransactionInput_ClientRequestToken_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExecuteTransactionInput_ReturnConsumedCapacity_FromDafny(input interface{}) types.ReturnConsumedCapacity

+ func Com_amazonaws_dynamodb_ExecuteTransactionInput_ReturnConsumedCapacity_ToDafny(input types.ReturnConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExecuteTransactionInput_TransactStatements_FromDafny(input interface{}) []types.ParameterizedStatement

+ func Com_amazonaws_dynamodb_ExecuteTransactionInput_TransactStatements_ToDafny(input []types.ParameterizedStatement) dafny.Sequence

+ func Com_amazonaws_dynamodb_ExecuteTransactionOutput_ConsumedCapacity_FromDafny(input interface{}) []types.ConsumedCapacity

+ func Com_amazonaws_dynamodb_ExecuteTransactionOutput_ConsumedCapacity_ToDafny(input []types.ConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExecuteTransactionOutput_Responses_FromDafny(input interface{}) []types.ItemResponse

+ func Com_amazonaws_dynamodb_ExecuteTransactionOutput_Responses_ToDafny(input []types.ItemResponse) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExpectedAttributeMap_key_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_ExpectedAttributeMap_key_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ExpectedAttributeMap_value_FromDafny(input interface{}) types.ExpectedAttributeValue

+ func Com_amazonaws_dynamodb_ExpectedAttributeMap_value_ToDafny(input types.ExpectedAttributeValue) ComAmazonawsDynamodbTypes.ExpectedAttributeValue

+ func Com_amazonaws_dynamodb_ExpectedAttributeValue_AttributeValueList_FromDafny(input interface{}) []types.AttributeValue

+ func Com_amazonaws_dynamodb_ExpectedAttributeValue_AttributeValueList_ToDafny(input []types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExpectedAttributeValue_ComparisonOperator_FromDafny(input interface{}) types.ComparisonOperator

+ func Com_amazonaws_dynamodb_ExpectedAttributeValue_ComparisonOperator_ToDafny(input types.ComparisonOperator) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExpectedAttributeValue_Exists_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_ExpectedAttributeValue_Exists_ToDafny(input *bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExpectedAttributeValue_Value_FromDafny(input interface{}) types.AttributeValue

+ func Com_amazonaws_dynamodb_ExpectedAttributeValue_Value_ToDafny(input types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportConflictException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportConflictException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_BilledSizeBytes_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_ExportDescription_BilledSizeBytes_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_ClientToken_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportDescription_ClientToken_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_EndTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_ExportDescription_EndTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_ExportArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportDescription_ExportArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_ExportFormat_FromDafny(input interface{}) types.ExportFormat

+ func Com_amazonaws_dynamodb_ExportDescription_ExportFormat_ToDafny(input types.ExportFormat) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_ExportManifest_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportDescription_ExportManifest_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_ExportStatus_FromDafny(input interface{}) types.ExportStatus

+ func Com_amazonaws_dynamodb_ExportDescription_ExportStatus_ToDafny(input types.ExportStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_ExportTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_ExportDescription_ExportTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_ExportType_FromDafny(input interface{}) types.ExportType

+ func Com_amazonaws_dynamodb_ExportDescription_ExportType_ToDafny(input types.ExportType) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_FailureCode_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportDescription_FailureCode_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_FailureMessage_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportDescription_FailureMessage_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_IncrementalExportSpecification_FromDafny(input interface{}) *types.IncrementalExportSpecification

+ func Com_amazonaws_dynamodb_ExportDescription_IncrementalExportSpecification_ToDafny(input *types.IncrementalExportSpecification) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_ItemCount_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_ExportDescription_ItemCount_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_S3BucketOwner_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportDescription_S3BucketOwner_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_S3Bucket_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportDescription_S3Bucket_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_S3Prefix_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportDescription_S3Prefix_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_S3SseAlgorithm_FromDafny(input interface{}) types.S3SseAlgorithm

+ func Com_amazonaws_dynamodb_ExportDescription_S3SseAlgorithm_ToDafny(input types.S3SseAlgorithm) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_S3SseKmsKeyId_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportDescription_S3SseKmsKeyId_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_StartTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_ExportDescription_StartTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_TableArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportDescription_TableArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportDescription_TableId_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportDescription_TableId_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportNotFoundException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportNotFoundException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportSummaries_member_FromDafny(input interface{}) types.ExportSummary

+ func Com_amazonaws_dynamodb_ExportSummaries_member_ToDafny(input types.ExportSummary) ComAmazonawsDynamodbTypes.ExportSummary

+ func Com_amazonaws_dynamodb_ExportSummary_ExportArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportSummary_ExportArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportSummary_ExportStatus_FromDafny(input interface{}) types.ExportStatus

+ func Com_amazonaws_dynamodb_ExportSummary_ExportStatus_ToDafny(input types.ExportStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportSummary_ExportType_FromDafny(input interface{}) types.ExportType

+ func Com_amazonaws_dynamodb_ExportSummary_ExportType_ToDafny(input types.ExportType) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_ClientToken_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_ClientToken_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_ExportFormat_FromDafny(input interface{}) types.ExportFormat

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_ExportFormat_ToDafny(input types.ExportFormat) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_ExportTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_ExportTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_ExportType_FromDafny(input interface{}) types.ExportType

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_ExportType_ToDafny(input types.ExportType) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_IncrementalExportSpecification_FromDafny(input interface{}) *types.IncrementalExportSpecification

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_IncrementalExportSpecification_ToDafny(input *types.IncrementalExportSpecification) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_S3BucketOwner_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_S3BucketOwner_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_S3Bucket_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_S3Bucket_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_S3Prefix_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_S3Prefix_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_S3SseAlgorithm_FromDafny(input interface{}) types.S3SseAlgorithm

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_S3SseAlgorithm_ToDafny(input types.S3SseAlgorithm) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_S3SseKmsKeyId_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_S3SseKmsKeyId_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_TableArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeInput_TableArn_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeOutput_ExportDescription_FromDafny(input interface{}) *types.ExportDescription

+ func Com_amazonaws_dynamodb_ExportTableToPointInTimeOutput_ExportDescription_ToDafny(input *types.ExportDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_ExpressionAttributeNameMap_key_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_ExpressionAttributeNameMap_key_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ExpressionAttributeNameMap_value_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_ExpressionAttributeNameMap_value_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ExpressionAttributeValueMap_key_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_ExpressionAttributeValueMap_key_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ExpressionAttributeValueMap_value_FromDafny(input interface{}) types.AttributeValue

+ func Com_amazonaws_dynamodb_ExpressionAttributeValueMap_value_ToDafny(input types.AttributeValue) ComAmazonawsDynamodbTypes.AttributeValue

+ func Com_amazonaws_dynamodb_FailureException_ExceptionDescription_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_FailureException_ExceptionDescription_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_FailureException_ExceptionName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_FailureException_ExceptionName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_FilterConditionMap_key_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_FilterConditionMap_key_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_FilterConditionMap_value_FromDafny(input interface{}) types.Condition

+ func Com_amazonaws_dynamodb_FilterConditionMap_value_ToDafny(input types.Condition) ComAmazonawsDynamodbTypes.Condition

+ func Com_amazonaws_dynamodb_GetItemInput_AttributesToGet_FromDafny(input interface{}) []string

+ func Com_amazonaws_dynamodb_GetItemInput_AttributesToGet_ToDafny(input []string) Wrappers.Option

+ func Com_amazonaws_dynamodb_GetItemInput_ConsistentRead_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_GetItemInput_ConsistentRead_ToDafny(input *bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_GetItemInput_ExpressionAttributeNames_FromDafny(input interface{}) map[string]string

+ func Com_amazonaws_dynamodb_GetItemInput_ExpressionAttributeNames_ToDafny(input map[string]string) Wrappers.Option

+ func Com_amazonaws_dynamodb_GetItemInput_Key_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_GetItemInput_Key_ToDafny(input map[string]types.AttributeValue) dafny.Map

+ func Com_amazonaws_dynamodb_GetItemInput_ProjectionExpression_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_GetItemInput_ProjectionExpression_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_GetItemInput_ReturnConsumedCapacity_FromDafny(input interface{}) types.ReturnConsumedCapacity

+ func Com_amazonaws_dynamodb_GetItemInput_ReturnConsumedCapacity_ToDafny(input types.ReturnConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_GetItemInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_GetItemInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_GetItemOutput_ConsumedCapacity_FromDafny(input interface{}) *types.ConsumedCapacity

+ func Com_amazonaws_dynamodb_GetItemOutput_ConsumedCapacity_ToDafny(input *types.ConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_GetItemOutput_Item_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_GetItemOutput_Item_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_GetResourcePolicyInput_ResourceArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_GetResourcePolicyInput_ResourceArn_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_GetResourcePolicyOutput_Policy_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_GetResourcePolicyOutput_Policy_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_GetResourcePolicyOutput_RevisionId_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_GetResourcePolicyOutput_RevisionId_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_Get_ExpressionAttributeNames_FromDafny(input interface{}) map[string]string

+ func Com_amazonaws_dynamodb_Get_ExpressionAttributeNames_ToDafny(input map[string]string) Wrappers.Option

+ func Com_amazonaws_dynamodb_Get_Key_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_Get_Key_ToDafny(input map[string]types.AttributeValue) dafny.Map

+ func Com_amazonaws_dynamodb_Get_ProjectionExpression_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_Get_ProjectionExpression_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_Get_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_Get_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexAutoScalingUpdateList_member_FromDafny(input interface{}) types.GlobalSecondaryIndexAutoScalingUpdate

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexAutoScalingUpdateList_member_ToDafny(input types.GlobalSecondaryIndexAutoScalingUpdate) ComAmazonawsDynamodbTypes.GlobalSecondaryIndexAutoScalingUpdate

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexAutoScalingUpdate_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexAutoScalingUpdate_IndexName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexAutoScalingUpdate_ProvisionedWriteCapacityAutoScalingUpdate_FromDafny(input interface{}) *types.AutoScalingSettingsUpdate

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexAutoScalingUpdate_ProvisionedWriteCapacityAutoScalingUpdate_ToDafny(input *types.AutoScalingSettingsUpdate) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescriptionList_member_FromDafny(input interface{}) types.GlobalSecondaryIndexDescription

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescriptionList_member_ToDafny(input types.GlobalSecondaryIndexDescription) ComAmazonawsDynamodbTypes.GlobalSecondaryIndexDescription

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_Backfilling_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_Backfilling_ToDafny(input *bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_IndexArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_IndexArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_IndexName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_IndexSizeBytes_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_IndexSizeBytes_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_IndexStatus_FromDafny(input interface{}) types.IndexStatus

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_IndexStatus_ToDafny(input types.IndexStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_ItemCount_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_ItemCount_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_KeySchema_FromDafny(input interface{}) []types.KeySchemaElement

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_KeySchema_ToDafny(input []types.KeySchemaElement) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_OnDemandThroughput_FromDafny(input interface{}) *types.OnDemandThroughput

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_OnDemandThroughput_ToDafny(input *types.OnDemandThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_Projection_FromDafny(input interface{}) *types.Projection

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_Projection_ToDafny(input *types.Projection) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_ProvisionedThroughput_FromDafny(input interface{}) *types.ProvisionedThroughputDescription

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexDescription_ProvisionedThroughput_ToDafny(input *types.ProvisionedThroughputDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexInfo_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexInfo_IndexName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexInfo_KeySchema_FromDafny(input interface{}) []types.KeySchemaElement

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexInfo_KeySchema_ToDafny(input []types.KeySchemaElement) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexInfo_OnDemandThroughput_FromDafny(input interface{}) *types.OnDemandThroughput

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexInfo_OnDemandThroughput_ToDafny(input *types.OnDemandThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexInfo_Projection_FromDafny(input interface{}) *types.Projection

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexInfo_Projection_ToDafny(input *types.Projection) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexInfo_ProvisionedThroughput_FromDafny(input interface{}) *types.ProvisionedThroughput

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexInfo_ProvisionedThroughput_ToDafny(input *types.ProvisionedThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexList_member_FromDafny(input interface{}) types.GlobalSecondaryIndex

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexList_member_ToDafny(input types.GlobalSecondaryIndex) ComAmazonawsDynamodbTypes.GlobalSecondaryIndex

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexUpdateList_member_FromDafny(input interface{}) types.GlobalSecondaryIndexUpdate

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexUpdateList_member_ToDafny(input types.GlobalSecondaryIndexUpdate) ComAmazonawsDynamodbTypes.GlobalSecondaryIndexUpdate

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexUpdate_Create_FromDafny(input interface{}) *types.CreateGlobalSecondaryIndexAction

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexUpdate_Create_ToDafny(input *types.CreateGlobalSecondaryIndexAction) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexUpdate_Delete_FromDafny(input interface{}) *types.DeleteGlobalSecondaryIndexAction

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexUpdate_Delete_ToDafny(input *types.DeleteGlobalSecondaryIndexAction) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexUpdate_Update_FromDafny(input interface{}) *types.UpdateGlobalSecondaryIndexAction

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexUpdate_Update_ToDafny(input *types.UpdateGlobalSecondaryIndexAction) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndex_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndex_IndexName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndex_KeySchema_FromDafny(input interface{}) []types.KeySchemaElement

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndex_KeySchema_ToDafny(input []types.KeySchemaElement) dafny.Sequence

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndex_OnDemandThroughput_FromDafny(input interface{}) *types.OnDemandThroughput

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndex_OnDemandThroughput_ToDafny(input *types.OnDemandThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndex_Projection_FromDafny(input interface{}) *types.Projection

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndex_Projection_ToDafny(input *types.Projection) ComAmazonawsDynamodbTypes.Projection

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndex_ProvisionedThroughput_FromDafny(input interface{}) *types.ProvisionedThroughput

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndex_ProvisionedThroughput_ToDafny(input *types.ProvisionedThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexes_member_FromDafny(input interface{}) types.GlobalSecondaryIndexInfo

+ func Com_amazonaws_dynamodb_GlobalSecondaryIndexes_member_ToDafny(input types.GlobalSecondaryIndexInfo) ComAmazonawsDynamodbTypes.GlobalSecondaryIndexInfo

+ func Com_amazonaws_dynamodb_GlobalTableAlreadyExistsException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_GlobalTableAlreadyExistsException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalTableDescription_CreationDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_GlobalTableDescription_CreationDateTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalTableDescription_GlobalTableArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_GlobalTableDescription_GlobalTableArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalTableDescription_GlobalTableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_GlobalTableDescription_GlobalTableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalTableDescription_GlobalTableStatus_FromDafny(input interface{}) types.GlobalTableStatus

+ func Com_amazonaws_dynamodb_GlobalTableDescription_GlobalTableStatus_ToDafny(input types.GlobalTableStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalTableDescription_ReplicationGroup_FromDafny(input interface{}) []types.ReplicaDescription

+ func Com_amazonaws_dynamodb_GlobalTableDescription_ReplicationGroup_ToDafny(input []types.ReplicaDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalTableGlobalSecondaryIndexSettingsUpdateList_member_FromDafny(input interface{}) types.GlobalTableGlobalSecondaryIndexSettingsUpdate

+ func Com_amazonaws_dynamodb_GlobalTableGlobalSecondaryIndexSettingsUpdateList_member_ToDafny(input types.GlobalTableGlobalSecondaryIndexSettingsUpdate) ComAmazonawsDynamodbTypes.GlobalTableGlobalSecondaryIndexSettingsUpdate

+ func Com_amazonaws_dynamodb_GlobalTableGlobalSecondaryIndexSettingsUpdate_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_GlobalTableGlobalSecondaryIndexSettingsUpdate_IndexName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_GlobalTableGlobalSecondaryIndexSettingsUpdate_ProvisionedWriteCapacityAutoScalingSettingsUpdate_FromDafny(input interface{}) *types.AutoScalingSettingsUpdate

+ func Com_amazonaws_dynamodb_GlobalTableGlobalSecondaryIndexSettingsUpdate_ProvisionedWriteCapacityAutoScalingSettingsUpdate_ToDafny(input *types.AutoScalingSettingsUpdate) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalTableGlobalSecondaryIndexSettingsUpdate_ProvisionedWriteCapacityUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_GlobalTableGlobalSecondaryIndexSettingsUpdate_ProvisionedWriteCapacityUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalTableList_member_FromDafny(input interface{}) types.GlobalTable

+ func Com_amazonaws_dynamodb_GlobalTableList_member_ToDafny(input types.GlobalTable) ComAmazonawsDynamodbTypes.GlobalTable

+ func Com_amazonaws_dynamodb_GlobalTableNotFoundException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_GlobalTableNotFoundException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalTable_GlobalTableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_GlobalTable_GlobalTableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_GlobalTable_ReplicationGroup_FromDafny(input interface{}) []types.Replica

+ func Com_amazonaws_dynamodb_GlobalTable_ReplicationGroup_ToDafny(input []types.Replica) Wrappers.Option

+ func Com_amazonaws_dynamodb_IdempotentParameterMismatchException_Message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_IdempotentParameterMismatchException_Message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportConflictException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ImportConflictException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportNotFoundException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ImportNotFoundException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportSummaryList_member_FromDafny(input interface{}) types.ImportSummary

+ func Com_amazonaws_dynamodb_ImportSummaryList_member_ToDafny(input types.ImportSummary) ComAmazonawsDynamodbTypes.ImportSummary

+ func Com_amazonaws_dynamodb_ImportSummary_CloudWatchLogGroupArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ImportSummary_CloudWatchLogGroupArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportSummary_EndTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_ImportSummary_EndTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportSummary_ImportArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ImportSummary_ImportArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportSummary_ImportStatus_FromDafny(input interface{}) types.ImportStatus

+ func Com_amazonaws_dynamodb_ImportSummary_ImportStatus_ToDafny(input types.ImportStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportSummary_InputFormat_FromDafny(input interface{}) types.InputFormat

+ func Com_amazonaws_dynamodb_ImportSummary_InputFormat_ToDafny(input types.InputFormat) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportSummary_S3BucketSource_FromDafny(input interface{}) *types.S3BucketSource

+ func Com_amazonaws_dynamodb_ImportSummary_S3BucketSource_ToDafny(input *types.S3BucketSource) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportSummary_StartTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_ImportSummary_StartTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportSummary_TableArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ImportSummary_TableArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_ClientToken_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ImportTableDescription_ClientToken_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_CloudWatchLogGroupArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ImportTableDescription_CloudWatchLogGroupArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_EndTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_ImportTableDescription_EndTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_ErrorCount_FromDafny(input interface{}) int64

+ func Com_amazonaws_dynamodb_ImportTableDescription_ErrorCount_ToDafny(input int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_FailureCode_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ImportTableDescription_FailureCode_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_FailureMessage_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ImportTableDescription_FailureMessage_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_ImportArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ImportTableDescription_ImportArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_ImportStatus_FromDafny(input interface{}) types.ImportStatus

+ func Com_amazonaws_dynamodb_ImportTableDescription_ImportStatus_ToDafny(input types.ImportStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_ImportedItemCount_FromDafny(input interface{}) int64

+ func Com_amazonaws_dynamodb_ImportTableDescription_ImportedItemCount_ToDafny(input int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_InputCompressionType_FromDafny(input interface{}) types.InputCompressionType

+ func Com_amazonaws_dynamodb_ImportTableDescription_InputCompressionType_ToDafny(input types.InputCompressionType) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_InputFormatOptions_FromDafny(input interface{}) *types.InputFormatOptions

+ func Com_amazonaws_dynamodb_ImportTableDescription_InputFormatOptions_ToDafny(input *types.InputFormatOptions) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_InputFormat_FromDafny(input interface{}) types.InputFormat

+ func Com_amazonaws_dynamodb_ImportTableDescription_InputFormat_ToDafny(input types.InputFormat) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_ProcessedItemCount_FromDafny(input interface{}) int64

+ func Com_amazonaws_dynamodb_ImportTableDescription_ProcessedItemCount_ToDafny(input int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_ProcessedSizeBytes_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_ImportTableDescription_ProcessedSizeBytes_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_S3BucketSource_FromDafny(input interface{}) *types.S3BucketSource

+ func Com_amazonaws_dynamodb_ImportTableDescription_S3BucketSource_ToDafny(input *types.S3BucketSource) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_StartTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_ImportTableDescription_StartTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_TableArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ImportTableDescription_TableArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_TableCreationParameters_FromDafny(input interface{}) *types.TableCreationParameters

+ func Com_amazonaws_dynamodb_ImportTableDescription_TableCreationParameters_ToDafny(input *types.TableCreationParameters) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableDescription_TableId_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ImportTableDescription_TableId_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableInput_ClientToken_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ImportTableInput_ClientToken_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableInput_InputCompressionType_FromDafny(input interface{}) types.InputCompressionType

+ func Com_amazonaws_dynamodb_ImportTableInput_InputCompressionType_ToDafny(input types.InputCompressionType) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableInput_InputFormatOptions_FromDafny(input interface{}) *types.InputFormatOptions

+ func Com_amazonaws_dynamodb_ImportTableInput_InputFormatOptions_ToDafny(input *types.InputFormatOptions) Wrappers.Option

+ func Com_amazonaws_dynamodb_ImportTableInput_InputFormat_FromDafny(input interface{}) types.InputFormat

+ func Com_amazonaws_dynamodb_ImportTableInput_InputFormat_ToDafny(input types.InputFormat) ComAmazonawsDynamodbTypes.InputFormat

+ func Com_amazonaws_dynamodb_ImportTableInput_S3BucketSource_FromDafny(input interface{}) *types.S3BucketSource

+ func Com_amazonaws_dynamodb_ImportTableInput_S3BucketSource_ToDafny(input *types.S3BucketSource) ComAmazonawsDynamodbTypes.S3BucketSource

+ func Com_amazonaws_dynamodb_ImportTableInput_TableCreationParameters_FromDafny(input interface{}) *types.TableCreationParameters

+ func Com_amazonaws_dynamodb_ImportTableInput_TableCreationParameters_ToDafny(input *types.TableCreationParameters) ComAmazonawsDynamodbTypes.TableCreationParameters

+ func Com_amazonaws_dynamodb_ImportTableOutput_ImportTableDescription_FromDafny(input interface{}) *types.ImportTableDescription

+ func Com_amazonaws_dynamodb_ImportTableOutput_ImportTableDescription_ToDafny(input *types.ImportTableDescription) ComAmazonawsDynamodbTypes.ImportTableDescription

+ func Com_amazonaws_dynamodb_IncrementalExportSpecification_ExportFromTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_IncrementalExportSpecification_ExportFromTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_IncrementalExportSpecification_ExportToTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_IncrementalExportSpecification_ExportToTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_IncrementalExportSpecification_ExportViewType_FromDafny(input interface{}) types.ExportViewType

+ func Com_amazonaws_dynamodb_IncrementalExportSpecification_ExportViewType_ToDafny(input types.ExportViewType) Wrappers.Option

+ func Com_amazonaws_dynamodb_IndexNotFoundException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_IndexNotFoundException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_InputFormatOptions_Csv_FromDafny(input interface{}) *types.CsvOptions

+ func Com_amazonaws_dynamodb_InputFormatOptions_Csv_ToDafny(input *types.CsvOptions) Wrappers.Option

+ func Com_amazonaws_dynamodb_InternalServerError_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_InternalServerError_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_InvalidEndpointException_Message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_InvalidEndpointException_Message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_InvalidExportTimeException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_InvalidExportTimeException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_InvalidRestoreTimeException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_InvalidRestoreTimeException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ItemCollectionKeyAttributeMap_key_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_ItemCollectionKeyAttributeMap_key_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ItemCollectionKeyAttributeMap_value_FromDafny(input interface{}) types.AttributeValue

+ func Com_amazonaws_dynamodb_ItemCollectionKeyAttributeMap_value_ToDafny(input types.AttributeValue) ComAmazonawsDynamodbTypes.AttributeValue

+ func Com_amazonaws_dynamodb_ItemCollectionMetricsMultiple_member_FromDafny(input interface{}) types.ItemCollectionMetrics

+ func Com_amazonaws_dynamodb_ItemCollectionMetricsMultiple_member_ToDafny(input types.ItemCollectionMetrics) ComAmazonawsDynamodbTypes.ItemCollectionMetrics

+ func Com_amazonaws_dynamodb_ItemCollectionMetricsPerTable_key_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_ItemCollectionMetricsPerTable_key_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ItemCollectionMetricsPerTable_value_FromDafny(input interface{}) []types.ItemCollectionMetrics

+ func Com_amazonaws_dynamodb_ItemCollectionMetricsPerTable_value_ToDafny(input []types.ItemCollectionMetrics) dafny.Sequence

+ func Com_amazonaws_dynamodb_ItemCollectionMetrics_ItemCollectionKey_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_ItemCollectionMetrics_ItemCollectionKey_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_ItemCollectionMetrics_SizeEstimateRangeGB_FromDafny(input interface{}) []float64

+ func Com_amazonaws_dynamodb_ItemCollectionMetrics_SizeEstimateRangeGB_ToDafny(input []float64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ItemCollectionSizeEstimateRange_member_FromDafny(input interface{}) float64

+ func Com_amazonaws_dynamodb_ItemCollectionSizeEstimateRange_member_ToDafny(input float64) dafny.Sequence

+ func Com_amazonaws_dynamodb_ItemCollectionSizeLimitExceededException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ItemCollectionSizeLimitExceededException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ItemList_member_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_ItemList_member_ToDafny(input map[string]types.AttributeValue) dafny.Map

+ func Com_amazonaws_dynamodb_ItemResponseList_member_FromDafny(input interface{}) types.ItemResponse

+ func Com_amazonaws_dynamodb_ItemResponseList_member_ToDafny(input types.ItemResponse) ComAmazonawsDynamodbTypes.ItemResponse

+ func Com_amazonaws_dynamodb_ItemResponse_Item_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_ItemResponse_Item_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_KeyConditions_key_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_KeyConditions_key_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_KeyConditions_value_FromDafny(input interface{}) types.Condition

+ func Com_amazonaws_dynamodb_KeyConditions_value_ToDafny(input types.Condition) ComAmazonawsDynamodbTypes.Condition

+ func Com_amazonaws_dynamodb_KeyList_member_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_KeyList_member_ToDafny(input map[string]types.AttributeValue) dafny.Map

+ func Com_amazonaws_dynamodb_KeySchemaElement_AttributeName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_KeySchemaElement_AttributeName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_KeySchemaElement_KeyType_FromDafny(input interface{}) types.KeyType

+ func Com_amazonaws_dynamodb_KeySchemaElement_KeyType_ToDafny(input types.KeyType) ComAmazonawsDynamodbTypes.KeyType

+ func Com_amazonaws_dynamodb_KeySchema_member_FromDafny(input interface{}) types.KeySchemaElement

+ func Com_amazonaws_dynamodb_KeySchema_member_ToDafny(input types.KeySchemaElement) ComAmazonawsDynamodbTypes.KeySchemaElement

+ func Com_amazonaws_dynamodb_Key_key_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_Key_key_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_Key_value_FromDafny(input interface{}) types.AttributeValue

+ func Com_amazonaws_dynamodb_Key_value_ToDafny(input types.AttributeValue) ComAmazonawsDynamodbTypes.AttributeValue

+ func Com_amazonaws_dynamodb_KeysAndAttributes_AttributesToGet_FromDafny(input interface{}) []string

+ func Com_amazonaws_dynamodb_KeysAndAttributes_AttributesToGet_ToDafny(input []string) Wrappers.Option

+ func Com_amazonaws_dynamodb_KeysAndAttributes_ConsistentRead_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_KeysAndAttributes_ConsistentRead_ToDafny(input *bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_KeysAndAttributes_ExpressionAttributeNames_FromDafny(input interface{}) map[string]string

+ func Com_amazonaws_dynamodb_KeysAndAttributes_ExpressionAttributeNames_ToDafny(input map[string]string) Wrappers.Option

+ func Com_amazonaws_dynamodb_KeysAndAttributes_Keys_FromDafny(input interface{}) []map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_KeysAndAttributes_Keys_ToDafny(input []map[string]types.AttributeValue) dafny.Sequence

+ func Com_amazonaws_dynamodb_KeysAndAttributes_ProjectionExpression_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_KeysAndAttributes_ProjectionExpression_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_KinesisDataStreamDestination_ApproximateCreationDateTimePrecision_FromDafny(input interface{}) types.ApproximateCreationDateTimePrecision

+ func Com_amazonaws_dynamodb_KinesisDataStreamDestination_ApproximateCreationDateTimePrecision_ToDafny(input types.ApproximateCreationDateTimePrecision) Wrappers.Option

+ func Com_amazonaws_dynamodb_KinesisDataStreamDestination_DestinationStatusDescription_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_KinesisDataStreamDestination_DestinationStatusDescription_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_KinesisDataStreamDestination_DestinationStatus_FromDafny(input interface{}) types.DestinationStatus

+ func Com_amazonaws_dynamodb_KinesisDataStreamDestination_DestinationStatus_ToDafny(input types.DestinationStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_KinesisDataStreamDestination_StreamArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_KinesisDataStreamDestination_StreamArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_KinesisDataStreamDestinations_member_FromDafny(input interface{}) types.KinesisDataStreamDestination

+ func Com_amazonaws_dynamodb_KinesisDataStreamDestinations_member_ToDafny(input types.KinesisDataStreamDestination) ComAmazonawsDynamodbTypes.KinesisDataStreamDestination

+ func Com_amazonaws_dynamodb_LimitExceededException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_LimitExceededException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListAttributeValue_member_FromDafny(input interface{}) types.AttributeValue

+ func Com_amazonaws_dynamodb_ListAttributeValue_member_ToDafny(input types.AttributeValue) ComAmazonawsDynamodbTypes.AttributeValue

+ func Com_amazonaws_dynamodb_ListBackupsInput_BackupType_FromDafny(input interface{}) types.BackupTypeFilter

+ func Com_amazonaws_dynamodb_ListBackupsInput_BackupType_ToDafny(input types.BackupTypeFilter) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListBackupsInput_ExclusiveStartBackupArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListBackupsInput_ExclusiveStartBackupArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListBackupsInput_Limit_FromDafny(input interface{}) *int32

+ func Com_amazonaws_dynamodb_ListBackupsInput_Limit_ToDafny(input *int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListBackupsInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListBackupsInput_TableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListBackupsInput_TimeRangeLowerBound_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_ListBackupsInput_TimeRangeLowerBound_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListBackupsInput_TimeRangeUpperBound_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_ListBackupsInput_TimeRangeUpperBound_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListBackupsOutput_BackupSummaries_FromDafny(input interface{}) []types.BackupSummary

+ func Com_amazonaws_dynamodb_ListBackupsOutput_BackupSummaries_ToDafny(input []types.BackupSummary) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListBackupsOutput_LastEvaluatedBackupArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListBackupsOutput_LastEvaluatedBackupArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListContributorInsightsInput_MaxResults_FromDafny(input interface{}) int32

+ func Com_amazonaws_dynamodb_ListContributorInsightsInput_MaxResults_ToDafny(input int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListContributorInsightsInput_NextToken_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListContributorInsightsInput_NextToken_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListContributorInsightsInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListContributorInsightsInput_TableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListContributorInsightsOutput_ContributorInsightsSummaries_FromDafny(input interface{}) []types.ContributorInsightsSummary

+ func Com_amazonaws_dynamodb_ListContributorInsightsOutput_ContributorInsightsSummaries_ToDafny(input []types.ContributorInsightsSummary) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListContributorInsightsOutput_NextToken_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListContributorInsightsOutput_NextToken_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListExportsInput_MaxResults_FromDafny(input interface{}) *int32

+ func Com_amazonaws_dynamodb_ListExportsInput_MaxResults_ToDafny(input *int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListExportsInput_NextToken_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListExportsInput_NextToken_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListExportsInput_TableArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListExportsInput_TableArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListExportsOutput_ExportSummaries_FromDafny(input interface{}) []types.ExportSummary

+ func Com_amazonaws_dynamodb_ListExportsOutput_ExportSummaries_ToDafny(input []types.ExportSummary) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListExportsOutput_NextToken_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListExportsOutput_NextToken_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListGlobalTablesInput_ExclusiveStartGlobalTableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListGlobalTablesInput_ExclusiveStartGlobalTableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListGlobalTablesInput_Limit_FromDafny(input interface{}) *int32

+ func Com_amazonaws_dynamodb_ListGlobalTablesInput_Limit_ToDafny(input *int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListGlobalTablesInput_RegionName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListGlobalTablesInput_RegionName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListGlobalTablesOutput_GlobalTables_FromDafny(input interface{}) []types.GlobalTable

+ func Com_amazonaws_dynamodb_ListGlobalTablesOutput_GlobalTables_ToDafny(input []types.GlobalTable) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListGlobalTablesOutput_LastEvaluatedGlobalTableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListGlobalTablesOutput_LastEvaluatedGlobalTableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListImportsInput_NextToken_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListImportsInput_NextToken_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListImportsInput_PageSize_FromDafny(input interface{}) *int32

+ func Com_amazonaws_dynamodb_ListImportsInput_PageSize_ToDafny(input *int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListImportsInput_TableArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListImportsInput_TableArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListImportsOutput_ImportSummaryList_FromDafny(input interface{}) []types.ImportSummary

+ func Com_amazonaws_dynamodb_ListImportsOutput_ImportSummaryList_ToDafny(input []types.ImportSummary) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListImportsOutput_NextToken_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListImportsOutput_NextToken_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListTablesInput_ExclusiveStartTableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListTablesInput_ExclusiveStartTableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListTablesInput_Limit_FromDafny(input interface{}) *int32

+ func Com_amazonaws_dynamodb_ListTablesInput_Limit_ToDafny(input *int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListTablesOutput_LastEvaluatedTableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListTablesOutput_LastEvaluatedTableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListTablesOutput_TableNames_FromDafny(input interface{}) []string

+ func Com_amazonaws_dynamodb_ListTablesOutput_TableNames_ToDafny(input []string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListTagsOfResourceInput_NextToken_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListTagsOfResourceInput_NextToken_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListTagsOfResourceInput_ResourceArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListTagsOfResourceInput_ResourceArn_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ListTagsOfResourceOutput_NextToken_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ListTagsOfResourceOutput_NextToken_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ListTagsOfResourceOutput_Tags_FromDafny(input interface{}) []types.Tag

+ func Com_amazonaws_dynamodb_ListTagsOfResourceOutput_Tags_ToDafny(input []types.Tag) Wrappers.Option

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexDescriptionList_member_FromDafny(input interface{}) types.LocalSecondaryIndexDescription

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexDescriptionList_member_ToDafny(input types.LocalSecondaryIndexDescription) ComAmazonawsDynamodbTypes.LocalSecondaryIndexDescription

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexDescription_IndexArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexDescription_IndexArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexDescription_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexDescription_IndexName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexDescription_IndexSizeBytes_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexDescription_IndexSizeBytes_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexDescription_ItemCount_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexDescription_ItemCount_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexDescription_KeySchema_FromDafny(input interface{}) []types.KeySchemaElement

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexDescription_KeySchema_ToDafny(input []types.KeySchemaElement) Wrappers.Option

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexDescription_Projection_FromDafny(input interface{}) *types.Projection

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexDescription_Projection_ToDafny(input *types.Projection) Wrappers.Option

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexInfo_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexInfo_IndexName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexInfo_KeySchema_FromDafny(input interface{}) []types.KeySchemaElement

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexInfo_KeySchema_ToDafny(input []types.KeySchemaElement) Wrappers.Option

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexInfo_Projection_FromDafny(input interface{}) *types.Projection

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexInfo_Projection_ToDafny(input *types.Projection) Wrappers.Option

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexList_member_FromDafny(input interface{}) types.LocalSecondaryIndex

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexList_member_ToDafny(input types.LocalSecondaryIndex) ComAmazonawsDynamodbTypes.LocalSecondaryIndex

+ func Com_amazonaws_dynamodb_LocalSecondaryIndex_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_LocalSecondaryIndex_IndexName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_LocalSecondaryIndex_KeySchema_FromDafny(input interface{}) []types.KeySchemaElement

+ func Com_amazonaws_dynamodb_LocalSecondaryIndex_KeySchema_ToDafny(input []types.KeySchemaElement) dafny.Sequence

+ func Com_amazonaws_dynamodb_LocalSecondaryIndex_Projection_FromDafny(input interface{}) *types.Projection

+ func Com_amazonaws_dynamodb_LocalSecondaryIndex_Projection_ToDafny(input *types.Projection) ComAmazonawsDynamodbTypes.Projection

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexes_member_FromDafny(input interface{}) types.LocalSecondaryIndexInfo

+ func Com_amazonaws_dynamodb_LocalSecondaryIndexes_member_ToDafny(input types.LocalSecondaryIndexInfo) ComAmazonawsDynamodbTypes.LocalSecondaryIndexInfo

+ func Com_amazonaws_dynamodb_MapAttributeValue_key_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_MapAttributeValue_key_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_MapAttributeValue_value_FromDafny(input interface{}) types.AttributeValue

+ func Com_amazonaws_dynamodb_MapAttributeValue_value_ToDafny(input types.AttributeValue) ComAmazonawsDynamodbTypes.AttributeValue

+ func Com_amazonaws_dynamodb_NonKeyAttributeNameList_member_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_NonKeyAttributeNameList_member_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_NumberSetAttributeValue_member_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_NumberSetAttributeValue_member_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_OnDemandThroughputOverride_MaxReadRequestUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_OnDemandThroughputOverride_MaxReadRequestUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_OnDemandThroughput_MaxReadRequestUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_OnDemandThroughput_MaxReadRequestUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_OnDemandThroughput_MaxWriteRequestUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_OnDemandThroughput_MaxWriteRequestUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ParameterizedStatement_Parameters_FromDafny(input interface{}) []types.AttributeValue

+ func Com_amazonaws_dynamodb_ParameterizedStatement_Parameters_ToDafny(input []types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_ParameterizedStatement_Statement_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ParameterizedStatement_Statement_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ParameterizedStatements_member_FromDafny(input interface{}) types.ParameterizedStatement

+ func Com_amazonaws_dynamodb_ParameterizedStatements_member_ToDafny(input types.ParameterizedStatement) ComAmazonawsDynamodbTypes.ParameterizedStatement

+ func Com_amazonaws_dynamodb_PartiQLBatchRequest_member_FromDafny(input interface{}) types.BatchStatementRequest

+ func Com_amazonaws_dynamodb_PartiQLBatchRequest_member_ToDafny(input types.BatchStatementRequest) ComAmazonawsDynamodbTypes.BatchStatementRequest

+ func Com_amazonaws_dynamodb_PartiQLBatchResponse_member_FromDafny(input interface{}) types.BatchStatementResponse

+ func Com_amazonaws_dynamodb_PartiQLBatchResponse_member_ToDafny(input types.BatchStatementResponse) ComAmazonawsDynamodbTypes.BatchStatementResponse

+ func Com_amazonaws_dynamodb_PointInTimeRecoveryDescription_EarliestRestorableDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_PointInTimeRecoveryDescription_EarliestRestorableDateTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_PointInTimeRecoveryDescription_LatestRestorableDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_PointInTimeRecoveryDescription_LatestRestorableDateTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_PointInTimeRecoveryDescription_PointInTimeRecoveryStatus_FromDafny(input interface{}) types.PointInTimeRecoveryStatus

+ func Com_amazonaws_dynamodb_PointInTimeRecoveryDescription_PointInTimeRecoveryStatus_ToDafny(input types.PointInTimeRecoveryStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_PointInTimeRecoverySpecification_PointInTimeRecoveryEnabled_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_PointInTimeRecoverySpecification_PointInTimeRecoveryEnabled_ToDafny(input *bool) bool

+ func Com_amazonaws_dynamodb_PointInTimeRecoveryUnavailableException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_PointInTimeRecoveryUnavailableException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_PolicyNotFoundException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_PolicyNotFoundException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_PreparedStatementParameters_member_FromDafny(input interface{}) types.AttributeValue

+ func Com_amazonaws_dynamodb_PreparedStatementParameters_member_ToDafny(input types.AttributeValue) ComAmazonawsDynamodbTypes.AttributeValue

+ func Com_amazonaws_dynamodb_Projection_NonKeyAttributes_FromDafny(input interface{}) []string

+ func Com_amazonaws_dynamodb_Projection_NonKeyAttributes_ToDafny(input []string) Wrappers.Option

+ func Com_amazonaws_dynamodb_Projection_ProjectionType_FromDafny(input interface{}) types.ProjectionType

+ func Com_amazonaws_dynamodb_Projection_ProjectionType_ToDafny(input types.ProjectionType) Wrappers.Option

+ func Com_amazonaws_dynamodb_ProvisionedThroughputDescription_LastDecreaseDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_ProvisionedThroughputDescription_LastDecreaseDateTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_ProvisionedThroughputDescription_LastIncreaseDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_ProvisionedThroughputDescription_LastIncreaseDateTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_ProvisionedThroughputDescription_NumberOfDecreasesToday_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_ProvisionedThroughputDescription_NumberOfDecreasesToday_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ProvisionedThroughputDescription_ReadCapacityUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_ProvisionedThroughputDescription_ReadCapacityUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ProvisionedThroughputDescription_WriteCapacityUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_ProvisionedThroughputDescription_WriteCapacityUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ProvisionedThroughputExceededException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ProvisionedThroughputExceededException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ProvisionedThroughputOverride_ReadCapacityUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_ProvisionedThroughputOverride_ReadCapacityUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ProvisionedThroughput_ReadCapacityUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_ProvisionedThroughput_ReadCapacityUnits_ToDafny(input *int64) int64

+ func Com_amazonaws_dynamodb_ProvisionedThroughput_WriteCapacityUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_ProvisionedThroughput_WriteCapacityUnits_ToDafny(input *int64) int64

+ func Com_amazonaws_dynamodb_PutItemInputAttributeMap_key_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_PutItemInputAttributeMap_key_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_PutItemInputAttributeMap_value_FromDafny(input interface{}) types.AttributeValue

+ func Com_amazonaws_dynamodb_PutItemInputAttributeMap_value_ToDafny(input types.AttributeValue) ComAmazonawsDynamodbTypes.AttributeValue

+ func Com_amazonaws_dynamodb_PutItemInput_ConditionExpression_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_PutItemInput_ConditionExpression_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_PutItemInput_ConditionalOperator_FromDafny(input interface{}) types.ConditionalOperator

+ func Com_amazonaws_dynamodb_PutItemInput_ConditionalOperator_ToDafny(input types.ConditionalOperator) Wrappers.Option

+ func Com_amazonaws_dynamodb_PutItemInput_Expected_FromDafny(input interface{}) map[string]types.ExpectedAttributeValue

+ func Com_amazonaws_dynamodb_PutItemInput_Expected_ToDafny(input map[string]types.ExpectedAttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_PutItemInput_ExpressionAttributeNames_FromDafny(input interface{}) map[string]string

+ func Com_amazonaws_dynamodb_PutItemInput_ExpressionAttributeNames_ToDafny(input map[string]string) Wrappers.Option

+ func Com_amazonaws_dynamodb_PutItemInput_ExpressionAttributeValues_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_PutItemInput_ExpressionAttributeValues_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_PutItemInput_Item_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_PutItemInput_Item_ToDafny(input map[string]types.AttributeValue) dafny.Map

+ func Com_amazonaws_dynamodb_PutItemInput_ReturnConsumedCapacity_FromDafny(input interface{}) types.ReturnConsumedCapacity

+ func Com_amazonaws_dynamodb_PutItemInput_ReturnConsumedCapacity_ToDafny(input types.ReturnConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_PutItemInput_ReturnItemCollectionMetrics_FromDafny(input interface{}) types.ReturnItemCollectionMetrics

+ func Com_amazonaws_dynamodb_PutItemInput_ReturnItemCollectionMetrics_ToDafny(input types.ReturnItemCollectionMetrics) Wrappers.Option

+ func Com_amazonaws_dynamodb_PutItemInput_ReturnValues_FromDafny(input interface{}) types.ReturnValue

+ func Com_amazonaws_dynamodb_PutItemInput_ReturnValues_ToDafny(input types.ReturnValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_PutItemInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_PutItemInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_PutItemOutput_Attributes_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_PutItemOutput_Attributes_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_PutItemOutput_ConsumedCapacity_FromDafny(input interface{}) *types.ConsumedCapacity

+ func Com_amazonaws_dynamodb_PutItemOutput_ConsumedCapacity_ToDafny(input *types.ConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_PutItemOutput_ItemCollectionMetrics_FromDafny(input interface{}) *types.ItemCollectionMetrics

+ func Com_amazonaws_dynamodb_PutItemOutput_ItemCollectionMetrics_ToDafny(input *types.ItemCollectionMetrics) Wrappers.Option

+ func Com_amazonaws_dynamodb_PutRequest_Item_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_PutRequest_Item_ToDafny(input map[string]types.AttributeValue) dafny.Map

+ func Com_amazonaws_dynamodb_PutResourcePolicyInput_ConfirmRemoveSelfResourceAccess_FromDafny(input interface{}) bool

+ func Com_amazonaws_dynamodb_PutResourcePolicyInput_ConfirmRemoveSelfResourceAccess_ToDafny(input bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_PutResourcePolicyInput_ExpectedRevisionId_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_PutResourcePolicyInput_ExpectedRevisionId_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_PutResourcePolicyInput_Policy_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_PutResourcePolicyInput_Policy_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_PutResourcePolicyInput_ResourceArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_PutResourcePolicyInput_ResourceArn_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_PutResourcePolicyOutput_RevisionId_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_PutResourcePolicyOutput_RevisionId_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_Put_ConditionExpression_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_Put_ConditionExpression_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_Put_ExpressionAttributeNames_FromDafny(input interface{}) map[string]string

+ func Com_amazonaws_dynamodb_Put_ExpressionAttributeNames_ToDafny(input map[string]string) Wrappers.Option

+ func Com_amazonaws_dynamodb_Put_ExpressionAttributeValues_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_Put_ExpressionAttributeValues_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_Put_Item_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_Put_Item_ToDafny(input map[string]types.AttributeValue) dafny.Map

+ func Com_amazonaws_dynamodb_Put_ReturnValuesOnConditionCheckFailure_FromDafny(input interface{}) types.ReturnValuesOnConditionCheckFailure

+ func Com_amazonaws_dynamodb_Put_ReturnValuesOnConditionCheckFailure_ToDafny(input types.ReturnValuesOnConditionCheckFailure) Wrappers.Option

+ func Com_amazonaws_dynamodb_Put_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_Put_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_QueryInput_AttributesToGet_FromDafny(input interface{}) []string

+ func Com_amazonaws_dynamodb_QueryInput_AttributesToGet_ToDafny(input []string) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryInput_ConditionalOperator_FromDafny(input interface{}) types.ConditionalOperator

+ func Com_amazonaws_dynamodb_QueryInput_ConditionalOperator_ToDafny(input types.ConditionalOperator) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryInput_ConsistentRead_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_QueryInput_ConsistentRead_ToDafny(input *bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryInput_ExclusiveStartKey_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_QueryInput_ExclusiveStartKey_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryInput_ExpressionAttributeNames_FromDafny(input interface{}) map[string]string

+ func Com_amazonaws_dynamodb_QueryInput_ExpressionAttributeNames_ToDafny(input map[string]string) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryInput_ExpressionAttributeValues_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_QueryInput_ExpressionAttributeValues_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryInput_FilterExpression_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_QueryInput_FilterExpression_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryInput_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_QueryInput_IndexName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryInput_KeyConditionExpression_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_QueryInput_KeyConditionExpression_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryInput_KeyConditions_FromDafny(input interface{}) map[string]types.Condition

+ func Com_amazonaws_dynamodb_QueryInput_KeyConditions_ToDafny(input map[string]types.Condition) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryInput_Limit_FromDafny(input interface{}) *int32

+ func Com_amazonaws_dynamodb_QueryInput_Limit_ToDafny(input *int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryInput_ProjectionExpression_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_QueryInput_ProjectionExpression_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryInput_QueryFilter_FromDafny(input interface{}) map[string]types.Condition

+ func Com_amazonaws_dynamodb_QueryInput_QueryFilter_ToDafny(input map[string]types.Condition) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryInput_ReturnConsumedCapacity_FromDafny(input interface{}) types.ReturnConsumedCapacity

+ func Com_amazonaws_dynamodb_QueryInput_ReturnConsumedCapacity_ToDafny(input types.ReturnConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryInput_ScanIndexForward_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_QueryInput_ScanIndexForward_ToDafny(input *bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryInput_Select_FromDafny(input interface{}) types.Select

+ func Com_amazonaws_dynamodb_QueryInput_Select_ToDafny(input types.Select) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_QueryInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_QueryOutput_ConsumedCapacity_FromDafny(input interface{}) *types.ConsumedCapacity

+ func Com_amazonaws_dynamodb_QueryOutput_ConsumedCapacity_ToDafny(input *types.ConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryOutput_Count_FromDafny(input interface{}) int32

+ func Com_amazonaws_dynamodb_QueryOutput_Count_ToDafny(input int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryOutput_Items_FromDafny(input interface{}) []map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_QueryOutput_Items_ToDafny(input []map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryOutput_LastEvaluatedKey_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_QueryOutput_LastEvaluatedKey_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_QueryOutput_ScannedCount_FromDafny(input interface{}) int32

+ func Com_amazonaws_dynamodb_QueryOutput_ScannedCount_ToDafny(input int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaAlreadyExistsException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ReplicaAlreadyExistsException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingDescriptionList_member_FromDafny(input interface{}) types.ReplicaAutoScalingDescription

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingDescriptionList_member_ToDafny(input types.ReplicaAutoScalingDescription) ComAmazonawsDynamodbTypes.ReplicaAutoScalingDescription

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingDescription_GlobalSecondaryIndexes_FromDafny(input interface{}) []types.ReplicaGlobalSecondaryIndexAutoScalingDescription

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingDescription_GlobalSecondaryIndexes_ToDafny(input []types.ReplicaGlobalSecondaryIndexAutoScalingDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingDescription_RegionName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingDescription_RegionName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingDescription_ReplicaProvisionedReadCapacityAutoScalingSettings_FromDafny(input interface{}) *types.AutoScalingSettingsDescription

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingDescription_ReplicaProvisionedReadCapacityAutoScalingSettings_ToDafny(input *types.AutoScalingSettingsDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingDescription_ReplicaProvisionedWriteCapacityAutoScalingSettings_FromDafny(input interface{}) *types.AutoScalingSettingsDescription

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingDescription_ReplicaProvisionedWriteCapacityAutoScalingSettings_ToDafny(input *types.AutoScalingSettingsDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingDescription_ReplicaStatus_FromDafny(input interface{}) types.ReplicaStatus

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingDescription_ReplicaStatus_ToDafny(input types.ReplicaStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingUpdateList_member_FromDafny(input interface{}) types.ReplicaAutoScalingUpdate

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingUpdateList_member_ToDafny(input types.ReplicaAutoScalingUpdate) ComAmazonawsDynamodbTypes.ReplicaAutoScalingUpdate

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingUpdate_RegionName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingUpdate_RegionName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingUpdate_ReplicaGlobalSecondaryIndexUpdates_FromDafny(input interface{}) []types.ReplicaGlobalSecondaryIndexAutoScalingUpdate

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingUpdate_ReplicaGlobalSecondaryIndexUpdates_ToDafny(input []types.ReplicaGlobalSecondaryIndexAutoScalingUpdate) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingUpdate_ReplicaProvisionedReadCapacityAutoScalingUpdate_FromDafny(input interface{}) *types.AutoScalingSettingsUpdate

+ func Com_amazonaws_dynamodb_ReplicaAutoScalingUpdate_ReplicaProvisionedReadCapacityAutoScalingUpdate_ToDafny(input *types.AutoScalingSettingsUpdate) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaDescriptionList_member_FromDafny(input interface{}) types.ReplicaDescription

+ func Com_amazonaws_dynamodb_ReplicaDescriptionList_member_ToDafny(input types.ReplicaDescription) ComAmazonawsDynamodbTypes.ReplicaDescription

+ func Com_amazonaws_dynamodb_ReplicaDescription_GlobalSecondaryIndexes_FromDafny(input interface{}) []types.ReplicaGlobalSecondaryIndexDescription

+ func Com_amazonaws_dynamodb_ReplicaDescription_GlobalSecondaryIndexes_ToDafny(input []types.ReplicaGlobalSecondaryIndexDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaDescription_KMSMasterKeyId_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ReplicaDescription_KMSMasterKeyId_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaDescription_OnDemandThroughputOverride_FromDafny(input interface{}) *types.OnDemandThroughputOverride

+ func Com_amazonaws_dynamodb_ReplicaDescription_OnDemandThroughputOverride_ToDafny(input *types.OnDemandThroughputOverride) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaDescription_ProvisionedThroughputOverride_FromDafny(input interface{}) *types.ProvisionedThroughputOverride

+ func Com_amazonaws_dynamodb_ReplicaDescription_ProvisionedThroughputOverride_ToDafny(input *types.ProvisionedThroughputOverride) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaDescription_RegionName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ReplicaDescription_RegionName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaDescription_ReplicaInaccessibleDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_ReplicaDescription_ReplicaInaccessibleDateTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaDescription_ReplicaStatusDescription_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ReplicaDescription_ReplicaStatusDescription_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaDescription_ReplicaStatusPercentProgress_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ReplicaDescription_ReplicaStatusPercentProgress_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaDescription_ReplicaStatus_FromDafny(input interface{}) types.ReplicaStatus

+ func Com_amazonaws_dynamodb_ReplicaDescription_ReplicaStatus_ToDafny(input types.ReplicaStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaDescription_ReplicaTableClassSummary_FromDafny(input interface{}) *types.TableClassSummary

+ func Com_amazonaws_dynamodb_ReplicaDescription_ReplicaTableClassSummary_ToDafny(input *types.TableClassSummary) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexAutoScalingDescriptionList_member_FromDafny(input interface{}) types.ReplicaGlobalSecondaryIndexAutoScalingDescription

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexAutoScalingDescriptionList_member_ToDafny(input types.ReplicaGlobalSecondaryIndexAutoScalingDescription) ComAmazonawsDynamodbTypes.ReplicaGlobalSecondaryIndexAutoScalingDescription

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexAutoScalingDescription_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexAutoScalingDescription_IndexName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexAutoScalingDescription_IndexStatus_FromDafny(input interface{}) types.IndexStatus

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexAutoScalingDescription_IndexStatus_ToDafny(input types.IndexStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexAutoScalingDescription_ProvisionedReadCapacityAutoScalingSettings_FromDafny(input interface{}) *types.AutoScalingSettingsDescription

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexAutoScalingDescription_ProvisionedReadCapacityAutoScalingSettings_ToDafny(input *types.AutoScalingSettingsDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexAutoScalingDescription_ProvisionedWriteCapacityAutoScalingSettings_FromDafny(input interface{}) *types.AutoScalingSettingsDescription

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexAutoScalingDescription_ProvisionedWriteCapacityAutoScalingSettings_ToDafny(input *types.AutoScalingSettingsDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexAutoScalingUpdateList_member_FromDafny(input interface{}) types.ReplicaGlobalSecondaryIndexAutoScalingUpdate

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexAutoScalingUpdateList_member_ToDafny(input types.ReplicaGlobalSecondaryIndexAutoScalingUpdate) ComAmazonawsDynamodbTypes.ReplicaGlobalSecondaryIndexAutoScalingUpdate

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexAutoScalingUpdate_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexAutoScalingUpdate_IndexName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexAutoScalingUpdate_ProvisionedReadCapacityAutoScalingUpdate_FromDafny(input interface{}) *types.AutoScalingSettingsUpdate

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexAutoScalingUpdate_ProvisionedReadCapacityAutoScalingUpdate_ToDafny(input *types.AutoScalingSettingsUpdate) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexDescriptionList_member_FromDafny(input interface{}) types.ReplicaGlobalSecondaryIndexDescription

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexDescriptionList_member_ToDafny(input types.ReplicaGlobalSecondaryIndexDescription) ComAmazonawsDynamodbTypes.ReplicaGlobalSecondaryIndexDescription

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexDescription_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexDescription_IndexName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexDescription_OnDemandThroughputOverride_FromDafny(input interface{}) *types.OnDemandThroughputOverride

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexDescription_OnDemandThroughputOverride_ToDafny(input *types.OnDemandThroughputOverride) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexDescription_ProvisionedThroughputOverride_FromDafny(input interface{}) *types.ProvisionedThroughputOverride

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexDescription_ProvisionedThroughputOverride_ToDafny(input *types.ProvisionedThroughputOverride) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexList_member_FromDafny(input interface{}) types.ReplicaGlobalSecondaryIndex

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexList_member_ToDafny(input types.ReplicaGlobalSecondaryIndex) ComAmazonawsDynamodbTypes.ReplicaGlobalSecondaryIndex

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsDescriptionList_member_FromDafny(input interface{}) types.ReplicaGlobalSecondaryIndexSettingsDescription

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsDescriptionList_member_ToDafny(input types.ReplicaGlobalSecondaryIndexSettingsDescription) ComAmazonawsDynamodbTypes.ReplicaGlobalSecondaryIndexSettingsDescription

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsDescription_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsDescription_IndexName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsDescription_IndexStatus_FromDafny(input interface{}) types.IndexStatus

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsDescription_IndexStatus_ToDafny(input types.IndexStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsDescription_ProvisionedReadCapacityAutoScalingSettings_FromDafny(input interface{}) *types.AutoScalingSettingsDescription

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsDescription_ProvisionedReadCapacityAutoScalingSettings_ToDafny(input *types.AutoScalingSettingsDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsDescription_ProvisionedReadCapacityUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsDescription_ProvisionedReadCapacityUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsDescription_ProvisionedWriteCapacityAutoScalingSettings_FromDafny(input interface{}) *types.AutoScalingSettingsDescription

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsDescription_ProvisionedWriteCapacityAutoScalingSettings_ToDafny(input *types.AutoScalingSettingsDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsDescription_ProvisionedWriteCapacityUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsDescription_ProvisionedWriteCapacityUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsUpdateList_member_FromDafny(input interface{}) types.ReplicaGlobalSecondaryIndexSettingsUpdate

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsUpdateList_member_ToDafny(input types.ReplicaGlobalSecondaryIndexSettingsUpdate) ComAmazonawsDynamodbTypes.ReplicaGlobalSecondaryIndexSettingsUpdate

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsUpdate_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsUpdate_IndexName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsUpdate_ProvisionedReadCapacityAutoScalingSettingsUpdate_FromDafny(input interface{}) *types.AutoScalingSettingsUpdate

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsUpdate_ProvisionedReadCapacityAutoScalingSettingsUpdate_ToDafny(input *types.AutoScalingSettingsUpdate) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsUpdate_ProvisionedReadCapacityUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndexSettingsUpdate_ProvisionedReadCapacityUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndex_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndex_IndexName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndex_OnDemandThroughputOverride_FromDafny(input interface{}) *types.OnDemandThroughputOverride

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndex_OnDemandThroughputOverride_ToDafny(input *types.OnDemandThroughputOverride) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndex_ProvisionedThroughputOverride_FromDafny(input interface{}) *types.ProvisionedThroughputOverride

+ func Com_amazonaws_dynamodb_ReplicaGlobalSecondaryIndex_ProvisionedThroughputOverride_ToDafny(input *types.ProvisionedThroughputOverride) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaList_member_FromDafny(input interface{}) types.Replica

+ func Com_amazonaws_dynamodb_ReplicaList_member_ToDafny(input types.Replica) ComAmazonawsDynamodbTypes.Replica

+ func Com_amazonaws_dynamodb_ReplicaNotFoundException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ReplicaNotFoundException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescriptionList_member_FromDafny(input interface{}) types.ReplicaSettingsDescription

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescriptionList_member_ToDafny(input types.ReplicaSettingsDescription) ComAmazonawsDynamodbTypes.ReplicaSettingsDescription

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescription_RegionName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescription_RegionName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescription_ReplicaBillingModeSummary_FromDafny(input interface{}) *types.BillingModeSummary

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescription_ReplicaBillingModeSummary_ToDafny(input *types.BillingModeSummary) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescription_ReplicaGlobalSecondaryIndexSettings_FromDafny(input interface{}) []types.ReplicaGlobalSecondaryIndexSettingsDescription

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescription_ReplicaGlobalSecondaryIndexSettings_ToDafny(input []types.ReplicaGlobalSecondaryIndexSettingsDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescription_ReplicaProvisionedReadCapacityAutoScalingSettings_FromDafny(input interface{}) *types.AutoScalingSettingsDescription

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescription_ReplicaProvisionedReadCapacityAutoScalingSettings_ToDafny(input *types.AutoScalingSettingsDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescription_ReplicaProvisionedReadCapacityUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescription_ReplicaProvisionedReadCapacityUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescription_ReplicaProvisionedWriteCapacityAutoScalingSettings_FromDafny(input interface{}) *types.AutoScalingSettingsDescription

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescription_ReplicaProvisionedWriteCapacityAutoScalingSettings_ToDafny(input *types.AutoScalingSettingsDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescription_ReplicaProvisionedWriteCapacityUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescription_ReplicaProvisionedWriteCapacityUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescription_ReplicaStatus_FromDafny(input interface{}) types.ReplicaStatus

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescription_ReplicaStatus_ToDafny(input types.ReplicaStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescription_ReplicaTableClassSummary_FromDafny(input interface{}) *types.TableClassSummary

+ func Com_amazonaws_dynamodb_ReplicaSettingsDescription_ReplicaTableClassSummary_ToDafny(input *types.TableClassSummary) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaSettingsUpdateList_member_FromDafny(input interface{}) types.ReplicaSettingsUpdate

+ func Com_amazonaws_dynamodb_ReplicaSettingsUpdateList_member_ToDafny(input types.ReplicaSettingsUpdate) ComAmazonawsDynamodbTypes.ReplicaSettingsUpdate

+ func Com_amazonaws_dynamodb_ReplicaSettingsUpdate_RegionName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ReplicaSettingsUpdate_RegionName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ReplicaSettingsUpdate_ReplicaGlobalSecondaryIndexSettingsUpdate_FromDafny(input interface{}) []types.ReplicaGlobalSecondaryIndexSettingsUpdate

+ func Com_amazonaws_dynamodb_ReplicaSettingsUpdate_ReplicaGlobalSecondaryIndexSettingsUpdate_ToDafny(input []types.ReplicaGlobalSecondaryIndexSettingsUpdate) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaSettingsUpdate_ReplicaProvisionedReadCapacityAutoScalingSettingsUpdate_FromDafny(input interface{}) *types.AutoScalingSettingsUpdate

+ func Com_amazonaws_dynamodb_ReplicaSettingsUpdate_ReplicaProvisionedReadCapacityAutoScalingSettingsUpdate_ToDafny(input *types.AutoScalingSettingsUpdate) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaSettingsUpdate_ReplicaProvisionedReadCapacityUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_ReplicaSettingsUpdate_ReplicaProvisionedReadCapacityUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaSettingsUpdate_ReplicaTableClass_FromDafny(input interface{}) types.TableClass

+ func Com_amazonaws_dynamodb_ReplicaSettingsUpdate_ReplicaTableClass_ToDafny(input types.TableClass) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaUpdateList_member_FromDafny(input interface{}) types.ReplicaUpdate

+ func Com_amazonaws_dynamodb_ReplicaUpdateList_member_ToDafny(input types.ReplicaUpdate) ComAmazonawsDynamodbTypes.ReplicaUpdate

+ func Com_amazonaws_dynamodb_ReplicaUpdate_Create_FromDafny(input interface{}) *types.CreateReplicaAction

+ func Com_amazonaws_dynamodb_ReplicaUpdate_Create_ToDafny(input *types.CreateReplicaAction) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicaUpdate_Delete_FromDafny(input interface{}) *types.DeleteReplicaAction

+ func Com_amazonaws_dynamodb_ReplicaUpdate_Delete_ToDafny(input *types.DeleteReplicaAction) Wrappers.Option

+ func Com_amazonaws_dynamodb_Replica_RegionName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_Replica_RegionName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicationGroupUpdateList_member_FromDafny(input interface{}) types.ReplicationGroupUpdate

+ func Com_amazonaws_dynamodb_ReplicationGroupUpdateList_member_ToDafny(input types.ReplicationGroupUpdate) ComAmazonawsDynamodbTypes.ReplicationGroupUpdate

+ func Com_amazonaws_dynamodb_ReplicationGroupUpdate_Create_FromDafny(input interface{}) *types.CreateReplicationGroupMemberAction

+ func Com_amazonaws_dynamodb_ReplicationGroupUpdate_Create_ToDafny(input *types.CreateReplicationGroupMemberAction) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicationGroupUpdate_Delete_FromDafny(input interface{}) *types.DeleteReplicationGroupMemberAction

+ func Com_amazonaws_dynamodb_ReplicationGroupUpdate_Delete_ToDafny(input *types.DeleteReplicationGroupMemberAction) Wrappers.Option

+ func Com_amazonaws_dynamodb_ReplicationGroupUpdate_Update_FromDafny(input interface{}) *types.UpdateReplicationGroupMemberAction

+ func Com_amazonaws_dynamodb_ReplicationGroupUpdate_Update_ToDafny(input *types.UpdateReplicationGroupMemberAction) Wrappers.Option

+ func Com_amazonaws_dynamodb_RequestLimitExceeded_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_RequestLimitExceeded_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ResourceInUseException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ResourceInUseException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ResourceNotFoundException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ResourceNotFoundException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreSummary_RestoreDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_RestoreSummary_RestoreDateTime_ToDafny(input *time.Time) dafny.Sequence

+ func Com_amazonaws_dynamodb_RestoreSummary_RestoreInProgress_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_RestoreSummary_RestoreInProgress_ToDafny(input *bool) bool

+ func Com_amazonaws_dynamodb_RestoreSummary_SourceBackupArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_RestoreSummary_SourceBackupArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreSummary_SourceTableArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_RestoreSummary_SourceTableArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreTableFromBackupInput_BackupArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_RestoreTableFromBackupInput_BackupArn_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_RestoreTableFromBackupInput_BillingModeOverride_FromDafny(input interface{}) types.BillingMode

+ func Com_amazonaws_dynamodb_RestoreTableFromBackupInput_BillingModeOverride_ToDafny(input types.BillingMode) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreTableFromBackupInput_GlobalSecondaryIndexOverride_FromDafny(input interface{}) []types.GlobalSecondaryIndex

+ func Com_amazonaws_dynamodb_RestoreTableFromBackupInput_GlobalSecondaryIndexOverride_ToDafny(input []types.GlobalSecondaryIndex) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreTableFromBackupInput_LocalSecondaryIndexOverride_FromDafny(input interface{}) []types.LocalSecondaryIndex

+ func Com_amazonaws_dynamodb_RestoreTableFromBackupInput_LocalSecondaryIndexOverride_ToDafny(input []types.LocalSecondaryIndex) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreTableFromBackupInput_OnDemandThroughputOverride_FromDafny(input interface{}) *types.OnDemandThroughput

+ func Com_amazonaws_dynamodb_RestoreTableFromBackupInput_OnDemandThroughputOverride_ToDafny(input *types.OnDemandThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreTableFromBackupInput_ProvisionedThroughputOverride_FromDafny(input interface{}) *types.ProvisionedThroughput

+ func Com_amazonaws_dynamodb_RestoreTableFromBackupInput_ProvisionedThroughputOverride_ToDafny(input *types.ProvisionedThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreTableFromBackupInput_SSESpecificationOverride_FromDafny(input interface{}) *types.SSESpecification

+ func Com_amazonaws_dynamodb_RestoreTableFromBackupInput_SSESpecificationOverride_ToDafny(input *types.SSESpecification) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreTableFromBackupInput_TargetTableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_RestoreTableFromBackupInput_TargetTableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_RestoreTableFromBackupOutput_TableDescription_FromDafny(input interface{}) *types.TableDescription

+ func Com_amazonaws_dynamodb_RestoreTableFromBackupOutput_TableDescription_ToDafny(input *types.TableDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_BillingModeOverride_FromDafny(input interface{}) types.BillingMode

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_BillingModeOverride_ToDafny(input types.BillingMode) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_GlobalSecondaryIndexOverride_FromDafny(input interface{}) []types.GlobalSecondaryIndex

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_GlobalSecondaryIndexOverride_ToDafny(input []types.GlobalSecondaryIndex) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_LocalSecondaryIndexOverride_FromDafny(input interface{}) []types.LocalSecondaryIndex

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_LocalSecondaryIndexOverride_ToDafny(input []types.LocalSecondaryIndex) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_OnDemandThroughputOverride_FromDafny(input interface{}) *types.OnDemandThroughput

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_OnDemandThroughputOverride_ToDafny(input *types.OnDemandThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_ProvisionedThroughputOverride_FromDafny(input interface{}) *types.ProvisionedThroughput

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_ProvisionedThroughputOverride_ToDafny(input *types.ProvisionedThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_RestoreDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_RestoreDateTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_SSESpecificationOverride_FromDafny(input interface{}) *types.SSESpecification

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_SSESpecificationOverride_ToDafny(input *types.SSESpecification) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_SourceTableArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_SourceTableArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_SourceTableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_SourceTableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_TargetTableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_TargetTableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_UseLatestRestorableTime_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeInput_UseLatestRestorableTime_ToDafny(input *bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeOutput_TableDescription_FromDafny(input interface{}) *types.TableDescription

+ func Com_amazonaws_dynamodb_RestoreTableToPointInTimeOutput_TableDescription_ToDafny(input *types.TableDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_S3BucketSource_S3BucketOwner_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_S3BucketSource_S3BucketOwner_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_S3BucketSource_S3Bucket_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_S3BucketSource_S3Bucket_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_S3BucketSource_S3KeyPrefix_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_S3BucketSource_S3KeyPrefix_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_SSEDescription_InaccessibleEncryptionDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_SSEDescription_InaccessibleEncryptionDateTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_SSEDescription_KMSMasterKeyArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_SSEDescription_KMSMasterKeyArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_SSEDescription_SSEType_FromDafny(input interface{}) types.SSEType

+ func Com_amazonaws_dynamodb_SSEDescription_SSEType_ToDafny(input types.SSEType) Wrappers.Option

+ func Com_amazonaws_dynamodb_SSEDescription_Status_FromDafny(input interface{}) types.SSEStatus

+ func Com_amazonaws_dynamodb_SSEDescription_Status_ToDafny(input types.SSEStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_SSESpecification_Enabled_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_SSESpecification_Enabled_ToDafny(input *bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_SSESpecification_KMSMasterKeyId_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_SSESpecification_KMSMasterKeyId_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_SSESpecification_SSEType_FromDafny(input interface{}) types.SSEType

+ func Com_amazonaws_dynamodb_SSESpecification_SSEType_ToDafny(input types.SSEType) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanInput_AttributesToGet_FromDafny(input interface{}) []string

+ func Com_amazonaws_dynamodb_ScanInput_AttributesToGet_ToDafny(input []string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanInput_ConditionalOperator_FromDafny(input interface{}) types.ConditionalOperator

+ func Com_amazonaws_dynamodb_ScanInput_ConditionalOperator_ToDafny(input types.ConditionalOperator) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanInput_ConsistentRead_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_ScanInput_ConsistentRead_ToDafny(input *bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanInput_ExclusiveStartKey_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_ScanInput_ExclusiveStartKey_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanInput_ExpressionAttributeNames_FromDafny(input interface{}) map[string]string

+ func Com_amazonaws_dynamodb_ScanInput_ExpressionAttributeNames_ToDafny(input map[string]string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanInput_ExpressionAttributeValues_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_ScanInput_ExpressionAttributeValues_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanInput_FilterExpression_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ScanInput_FilterExpression_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanInput_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ScanInput_IndexName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanInput_Limit_FromDafny(input interface{}) *int32

+ func Com_amazonaws_dynamodb_ScanInput_Limit_ToDafny(input *int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanInput_ProjectionExpression_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ScanInput_ProjectionExpression_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanInput_ReturnConsumedCapacity_FromDafny(input interface{}) types.ReturnConsumedCapacity

+ func Com_amazonaws_dynamodb_ScanInput_ReturnConsumedCapacity_ToDafny(input types.ReturnConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanInput_ScanFilter_FromDafny(input interface{}) map[string]types.Condition

+ func Com_amazonaws_dynamodb_ScanInput_ScanFilter_ToDafny(input map[string]types.Condition) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanInput_Segment_FromDafny(input interface{}) *int32

+ func Com_amazonaws_dynamodb_ScanInput_Segment_ToDafny(input *int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanInput_Select_FromDafny(input interface{}) types.Select

+ func Com_amazonaws_dynamodb_ScanInput_Select_ToDafny(input types.Select) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_ScanInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_ScanInput_TotalSegments_FromDafny(input interface{}) *int32

+ func Com_amazonaws_dynamodb_ScanInput_TotalSegments_ToDafny(input *int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanOutput_ConsumedCapacity_FromDafny(input interface{}) *types.ConsumedCapacity

+ func Com_amazonaws_dynamodb_ScanOutput_ConsumedCapacity_ToDafny(input *types.ConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanOutput_Count_FromDafny(input interface{}) int32

+ func Com_amazonaws_dynamodb_ScanOutput_Count_ToDafny(input int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanOutput_Items_FromDafny(input interface{}) []map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_ScanOutput_Items_ToDafny(input []map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanOutput_LastEvaluatedKey_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_ScanOutput_LastEvaluatedKey_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_ScanOutput_ScannedCount_FromDafny(input interface{}) int32

+ func Com_amazonaws_dynamodb_ScanOutput_ScannedCount_ToDafny(input int32) Wrappers.Option

+ func Com_amazonaws_dynamodb_SecondaryIndexesCapacityMap_key_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_SecondaryIndexesCapacityMap_key_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_SecondaryIndexesCapacityMap_value_FromDafny(input interface{}) types.Capacity

+ func Com_amazonaws_dynamodb_SecondaryIndexesCapacityMap_value_ToDafny(input types.Capacity) ComAmazonawsDynamodbTypes.Capacity

+ func Com_amazonaws_dynamodb_SourceTableDetails_BillingMode_FromDafny(input interface{}) types.BillingMode

+ func Com_amazonaws_dynamodb_SourceTableDetails_BillingMode_ToDafny(input types.BillingMode) Wrappers.Option

+ func Com_amazonaws_dynamodb_SourceTableDetails_ItemCount_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_SourceTableDetails_ItemCount_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_SourceTableDetails_KeySchema_FromDafny(input interface{}) []types.KeySchemaElement

+ func Com_amazonaws_dynamodb_SourceTableDetails_KeySchema_ToDafny(input []types.KeySchemaElement) dafny.Sequence

+ func Com_amazonaws_dynamodb_SourceTableDetails_OnDemandThroughput_FromDafny(input interface{}) *types.OnDemandThroughput

+ func Com_amazonaws_dynamodb_SourceTableDetails_OnDemandThroughput_ToDafny(input *types.OnDemandThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_SourceTableDetails_ProvisionedThroughput_FromDafny(input interface{}) *types.ProvisionedThroughput

+ func Com_amazonaws_dynamodb_SourceTableDetails_ProvisionedThroughput_ToDafny(input *types.ProvisionedThroughput) ComAmazonawsDynamodbTypes.ProvisionedThroughput

+ func Com_amazonaws_dynamodb_SourceTableDetails_TableArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_SourceTableDetails_TableArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_SourceTableDetails_TableCreationDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_SourceTableDetails_TableCreationDateTime_ToDafny(input *time.Time) dafny.Sequence

+ func Com_amazonaws_dynamodb_SourceTableDetails_TableId_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_SourceTableDetails_TableId_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_SourceTableDetails_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_SourceTableDetails_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_SourceTableDetails_TableSizeBytes_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_SourceTableDetails_TableSizeBytes_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_SourceTableFeatureDetails_GlobalSecondaryIndexes_FromDafny(input interface{}) []types.GlobalSecondaryIndexInfo

+ func Com_amazonaws_dynamodb_SourceTableFeatureDetails_GlobalSecondaryIndexes_ToDafny(input []types.GlobalSecondaryIndexInfo) Wrappers.Option

+ func Com_amazonaws_dynamodb_SourceTableFeatureDetails_LocalSecondaryIndexes_FromDafny(input interface{}) []types.LocalSecondaryIndexInfo

+ func Com_amazonaws_dynamodb_SourceTableFeatureDetails_LocalSecondaryIndexes_ToDafny(input []types.LocalSecondaryIndexInfo) Wrappers.Option

+ func Com_amazonaws_dynamodb_SourceTableFeatureDetails_SSEDescription_FromDafny(input interface{}) *types.SSEDescription

+ func Com_amazonaws_dynamodb_SourceTableFeatureDetails_SSEDescription_ToDafny(input *types.SSEDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_SourceTableFeatureDetails_StreamDescription_FromDafny(input interface{}) *types.StreamSpecification

+ func Com_amazonaws_dynamodb_SourceTableFeatureDetails_StreamDescription_ToDafny(input *types.StreamSpecification) Wrappers.Option

+ func Com_amazonaws_dynamodb_SourceTableFeatureDetails_TimeToLiveDescription_FromDafny(input interface{}) *types.TimeToLiveDescription

+ func Com_amazonaws_dynamodb_SourceTableFeatureDetails_TimeToLiveDescription_ToDafny(input *types.TimeToLiveDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_StreamSpecification_StreamEnabled_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_StreamSpecification_StreamEnabled_ToDafny(input *bool) bool

+ func Com_amazonaws_dynamodb_StreamSpecification_StreamViewType_FromDafny(input interface{}) types.StreamViewType

+ func Com_amazonaws_dynamodb_StreamSpecification_StreamViewType_ToDafny(input types.StreamViewType) Wrappers.Option

+ func Com_amazonaws_dynamodb_StringSetAttributeValue_member_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_StringSetAttributeValue_member_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_TableAlreadyExistsException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_TableAlreadyExistsException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableAutoScalingDescription_Replicas_FromDafny(input interface{}) []types.ReplicaAutoScalingDescription

+ func Com_amazonaws_dynamodb_TableAutoScalingDescription_Replicas_ToDafny(input []types.ReplicaAutoScalingDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableAutoScalingDescription_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_TableAutoScalingDescription_TableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableAutoScalingDescription_TableStatus_FromDafny(input interface{}) types.TableStatus

+ func Com_amazonaws_dynamodb_TableAutoScalingDescription_TableStatus_ToDafny(input types.TableStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableClassSummary_LastUpdateDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_TableClassSummary_LastUpdateDateTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableClassSummary_TableClass_FromDafny(input interface{}) types.TableClass

+ func Com_amazonaws_dynamodb_TableClassSummary_TableClass_ToDafny(input types.TableClass) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableCreationParameters_AttributeDefinitions_FromDafny(input interface{}) []types.AttributeDefinition

+ func Com_amazonaws_dynamodb_TableCreationParameters_AttributeDefinitions_ToDafny(input []types.AttributeDefinition) dafny.Sequence

+ func Com_amazonaws_dynamodb_TableCreationParameters_BillingMode_FromDafny(input interface{}) types.BillingMode

+ func Com_amazonaws_dynamodb_TableCreationParameters_BillingMode_ToDafny(input types.BillingMode) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableCreationParameters_GlobalSecondaryIndexes_FromDafny(input interface{}) []types.GlobalSecondaryIndex

+ func Com_amazonaws_dynamodb_TableCreationParameters_GlobalSecondaryIndexes_ToDafny(input []types.GlobalSecondaryIndex) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableCreationParameters_KeySchema_FromDafny(input interface{}) []types.KeySchemaElement

+ func Com_amazonaws_dynamodb_TableCreationParameters_KeySchema_ToDafny(input []types.KeySchemaElement) dafny.Sequence

+ func Com_amazonaws_dynamodb_TableCreationParameters_OnDemandThroughput_FromDafny(input interface{}) *types.OnDemandThroughput

+ func Com_amazonaws_dynamodb_TableCreationParameters_OnDemandThroughput_ToDafny(input *types.OnDemandThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableCreationParameters_ProvisionedThroughput_FromDafny(input interface{}) *types.ProvisionedThroughput

+ func Com_amazonaws_dynamodb_TableCreationParameters_ProvisionedThroughput_ToDafny(input *types.ProvisionedThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableCreationParameters_SSESpecification_FromDafny(input interface{}) *types.SSESpecification

+ func Com_amazonaws_dynamodb_TableCreationParameters_SSESpecification_ToDafny(input *types.SSESpecification) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableCreationParameters_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_TableCreationParameters_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_TableDescription_ArchivalSummary_FromDafny(input interface{}) *types.ArchivalSummary

+ func Com_amazonaws_dynamodb_TableDescription_ArchivalSummary_ToDafny(input *types.ArchivalSummary) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_AttributeDefinitions_FromDafny(input interface{}) []types.AttributeDefinition

+ func Com_amazonaws_dynamodb_TableDescription_AttributeDefinitions_ToDafny(input []types.AttributeDefinition) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_BillingModeSummary_FromDafny(input interface{}) *types.BillingModeSummary

+ func Com_amazonaws_dynamodb_TableDescription_BillingModeSummary_ToDafny(input *types.BillingModeSummary) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_CreationDateTime_FromDafny(input interface{}) *time.Time

+ func Com_amazonaws_dynamodb_TableDescription_CreationDateTime_ToDafny(input *time.Time) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_DeletionProtectionEnabled_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_TableDescription_DeletionProtectionEnabled_ToDafny(input *bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_GlobalSecondaryIndexes_FromDafny(input interface{}) []types.GlobalSecondaryIndexDescription

+ func Com_amazonaws_dynamodb_TableDescription_GlobalSecondaryIndexes_ToDafny(input []types.GlobalSecondaryIndexDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_GlobalTableVersion_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_TableDescription_GlobalTableVersion_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_ItemCount_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_TableDescription_ItemCount_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_KeySchema_FromDafny(input interface{}) []types.KeySchemaElement

+ func Com_amazonaws_dynamodb_TableDescription_KeySchema_ToDafny(input []types.KeySchemaElement) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_LatestStreamArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_TableDescription_LatestStreamArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_LatestStreamLabel_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_TableDescription_LatestStreamLabel_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_LocalSecondaryIndexes_FromDafny(input interface{}) []types.LocalSecondaryIndexDescription

+ func Com_amazonaws_dynamodb_TableDescription_LocalSecondaryIndexes_ToDafny(input []types.LocalSecondaryIndexDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_OnDemandThroughput_FromDafny(input interface{}) *types.OnDemandThroughput

+ func Com_amazonaws_dynamodb_TableDescription_OnDemandThroughput_ToDafny(input *types.OnDemandThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_ProvisionedThroughput_FromDafny(input interface{}) *types.ProvisionedThroughputDescription

+ func Com_amazonaws_dynamodb_TableDescription_ProvisionedThroughput_ToDafny(input *types.ProvisionedThroughputDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_Replicas_FromDafny(input interface{}) []types.ReplicaDescription

+ func Com_amazonaws_dynamodb_TableDescription_Replicas_ToDafny(input []types.ReplicaDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_RestoreSummary_FromDafny(input interface{}) *types.RestoreSummary

+ func Com_amazonaws_dynamodb_TableDescription_RestoreSummary_ToDafny(input *types.RestoreSummary) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_SSEDescription_FromDafny(input interface{}) *types.SSEDescription

+ func Com_amazonaws_dynamodb_TableDescription_SSEDescription_ToDafny(input *types.SSEDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_StreamSpecification_FromDafny(input interface{}) *types.StreamSpecification

+ func Com_amazonaws_dynamodb_TableDescription_StreamSpecification_ToDafny(input *types.StreamSpecification) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_TableArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_TableDescription_TableArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_TableClassSummary_FromDafny(input interface{}) *types.TableClassSummary

+ func Com_amazonaws_dynamodb_TableDescription_TableClassSummary_ToDafny(input *types.TableClassSummary) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_TableId_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_TableDescription_TableId_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_TableDescription_TableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_TableSizeBytes_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_TableDescription_TableSizeBytes_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableDescription_TableStatus_FromDafny(input interface{}) types.TableStatus

+ func Com_amazonaws_dynamodb_TableDescription_TableStatus_ToDafny(input types.TableStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableInUseException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_TableInUseException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_TableNameList_member_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_TableNameList_member_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_TableNotFoundException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_TableNotFoundException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_TagKeyList_member_FromDafny(input interface{}) string

+ func Com_amazonaws_dynamodb_TagKeyList_member_ToDafny(input string) dafny.Sequence

+ func Com_amazonaws_dynamodb_TagList_member_FromDafny(input interface{}) types.Tag

+ func Com_amazonaws_dynamodb_TagList_member_ToDafny(input types.Tag) ComAmazonawsDynamodbTypes.Tag

+ func Com_amazonaws_dynamodb_TagResourceInput_ResourceArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_TagResourceInput_ResourceArn_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_TagResourceInput_Tags_FromDafny(input interface{}) []types.Tag

+ func Com_amazonaws_dynamodb_TagResourceInput_Tags_ToDafny(input []types.Tag) dafny.Sequence

+ func Com_amazonaws_dynamodb_Tag_Key_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_Tag_Key_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_Tag_Value_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_Tag_Value_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_TimeToLiveDescription_AttributeName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_TimeToLiveDescription_AttributeName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_TimeToLiveDescription_TimeToLiveStatus_FromDafny(input interface{}) types.TimeToLiveStatus

+ func Com_amazonaws_dynamodb_TimeToLiveDescription_TimeToLiveStatus_ToDafny(input types.TimeToLiveStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_TimeToLiveSpecification_AttributeName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_TimeToLiveSpecification_AttributeName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_TimeToLiveSpecification_Enabled_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_TimeToLiveSpecification_Enabled_ToDafny(input *bool) bool

+ func Com_amazonaws_dynamodb_TransactGetItemList_member_FromDafny(input interface{}) types.TransactGetItem

+ func Com_amazonaws_dynamodb_TransactGetItemList_member_ToDafny(input types.TransactGetItem) ComAmazonawsDynamodbTypes.TransactGetItem

+ func Com_amazonaws_dynamodb_TransactGetItem_Get_FromDafny(input interface{}) *types.Get

+ func Com_amazonaws_dynamodb_TransactGetItem_Get_ToDafny(input *types.Get) ComAmazonawsDynamodbTypes.Get

+ func Com_amazonaws_dynamodb_TransactGetItemsInput_ReturnConsumedCapacity_FromDafny(input interface{}) types.ReturnConsumedCapacity

+ func Com_amazonaws_dynamodb_TransactGetItemsInput_ReturnConsumedCapacity_ToDafny(input types.ReturnConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_TransactGetItemsInput_TransactItems_FromDafny(input interface{}) []types.TransactGetItem

+ func Com_amazonaws_dynamodb_TransactGetItemsInput_TransactItems_ToDafny(input []types.TransactGetItem) dafny.Sequence

+ func Com_amazonaws_dynamodb_TransactGetItemsOutput_ConsumedCapacity_FromDafny(input interface{}) []types.ConsumedCapacity

+ func Com_amazonaws_dynamodb_TransactGetItemsOutput_ConsumedCapacity_ToDafny(input []types.ConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_TransactGetItemsOutput_Responses_FromDafny(input interface{}) []types.ItemResponse

+ func Com_amazonaws_dynamodb_TransactGetItemsOutput_Responses_ToDafny(input []types.ItemResponse) Wrappers.Option

+ func Com_amazonaws_dynamodb_TransactWriteItemList_member_FromDafny(input interface{}) types.TransactWriteItem

+ func Com_amazonaws_dynamodb_TransactWriteItemList_member_ToDafny(input types.TransactWriteItem) ComAmazonawsDynamodbTypes.TransactWriteItem

+ func Com_amazonaws_dynamodb_TransactWriteItem_ConditionCheck_FromDafny(input interface{}) *types.ConditionCheck

+ func Com_amazonaws_dynamodb_TransactWriteItem_ConditionCheck_ToDafny(input *types.ConditionCheck) Wrappers.Option

+ func Com_amazonaws_dynamodb_TransactWriteItem_Delete_FromDafny(input interface{}) *types.Delete

+ func Com_amazonaws_dynamodb_TransactWriteItem_Delete_ToDafny(input *types.Delete) Wrappers.Option

+ func Com_amazonaws_dynamodb_TransactWriteItem_Put_FromDafny(input interface{}) *types.Put

+ func Com_amazonaws_dynamodb_TransactWriteItem_Put_ToDafny(input *types.Put) Wrappers.Option

+ func Com_amazonaws_dynamodb_TransactWriteItem_Update_FromDafny(input interface{}) *types.Update

+ func Com_amazonaws_dynamodb_TransactWriteItem_Update_ToDafny(input *types.Update) Wrappers.Option

+ func Com_amazonaws_dynamodb_TransactWriteItemsInput_ClientRequestToken_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_TransactWriteItemsInput_ClientRequestToken_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_TransactWriteItemsInput_ReturnConsumedCapacity_FromDafny(input interface{}) types.ReturnConsumedCapacity

+ func Com_amazonaws_dynamodb_TransactWriteItemsInput_ReturnConsumedCapacity_ToDafny(input types.ReturnConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_TransactWriteItemsInput_ReturnItemCollectionMetrics_FromDafny(input interface{}) types.ReturnItemCollectionMetrics

+ func Com_amazonaws_dynamodb_TransactWriteItemsInput_ReturnItemCollectionMetrics_ToDafny(input types.ReturnItemCollectionMetrics) Wrappers.Option

+ func Com_amazonaws_dynamodb_TransactWriteItemsInput_TransactItems_FromDafny(input interface{}) []types.TransactWriteItem

+ func Com_amazonaws_dynamodb_TransactWriteItemsInput_TransactItems_ToDafny(input []types.TransactWriteItem) dafny.Sequence

+ func Com_amazonaws_dynamodb_TransactWriteItemsOutput_ConsumedCapacity_FromDafny(input interface{}) []types.ConsumedCapacity

+ func Com_amazonaws_dynamodb_TransactWriteItemsOutput_ConsumedCapacity_ToDafny(input []types.ConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_TransactWriteItemsOutput_ItemCollectionMetrics_FromDafny(input interface{}) map[string][]types.ItemCollectionMetrics

+ func Com_amazonaws_dynamodb_TransactWriteItemsOutput_ItemCollectionMetrics_ToDafny(input map[string][]types.ItemCollectionMetrics) Wrappers.Option

+ func Com_amazonaws_dynamodb_TransactionCanceledException_CancellationReasons_FromDafny(input interface{}) []types.CancellationReason

+ func Com_amazonaws_dynamodb_TransactionCanceledException_CancellationReasons_ToDafny(input []types.CancellationReason) Wrappers.Option

+ func Com_amazonaws_dynamodb_TransactionCanceledException_Message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_TransactionCanceledException_Message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_TransactionConflictException_message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_TransactionConflictException_message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_TransactionInProgressException_Message_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_TransactionInProgressException_Message_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_UntagResourceInput_ResourceArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UntagResourceInput_ResourceArn_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_UntagResourceInput_TagKeys_FromDafny(input interface{}) []string

+ func Com_amazonaws_dynamodb_UntagResourceInput_TagKeys_ToDafny(input []string) dafny.Sequence

+ func Com_amazonaws_dynamodb_UpdateContinuousBackupsInput_PointInTimeRecoverySpecification_FromDafny(input interface{}) *types.PointInTimeRecoverySpecification

+ func Com_amazonaws_dynamodb_UpdateContinuousBackupsInput_PointInTimeRecoverySpecification_ToDafny(input *types.PointInTimeRecoverySpecification) ComAmazonawsDynamodbTypes.PointInTimeRecoverySpecification

+ func Com_amazonaws_dynamodb_UpdateContinuousBackupsInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateContinuousBackupsInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_UpdateContinuousBackupsOutput_ContinuousBackupsDescription_FromDafny(input interface{}) *types.ContinuousBackupsDescription

+ func Com_amazonaws_dynamodb_UpdateContinuousBackupsOutput_ContinuousBackupsDescription_ToDafny(input *types.ContinuousBackupsDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateContributorInsightsInput_ContributorInsightsAction_FromDafny(input interface{}) types.ContributorInsightsAction

+ func Com_amazonaws_dynamodb_UpdateContributorInsightsInput_ContributorInsightsAction_ToDafny(input types.ContributorInsightsAction) ComAmazonawsDynamodbTypes.ContributorInsightsAction

+ func Com_amazonaws_dynamodb_UpdateContributorInsightsInput_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateContributorInsightsInput_IndexName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateContributorInsightsInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateContributorInsightsInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_UpdateContributorInsightsOutput_ContributorInsightsStatus_FromDafny(input interface{}) types.ContributorInsightsStatus

+ func Com_amazonaws_dynamodb_UpdateContributorInsightsOutput_ContributorInsightsStatus_ToDafny(input types.ContributorInsightsStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateContributorInsightsOutput_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateContributorInsightsOutput_IndexName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateContributorInsightsOutput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateContributorInsightsOutput_TableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateGlobalSecondaryIndexAction_IndexName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateGlobalSecondaryIndexAction_IndexName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_UpdateGlobalSecondaryIndexAction_OnDemandThroughput_FromDafny(input interface{}) *types.OnDemandThroughput

+ func Com_amazonaws_dynamodb_UpdateGlobalSecondaryIndexAction_OnDemandThroughput_ToDafny(input *types.OnDemandThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateGlobalSecondaryIndexAction_ProvisionedThroughput_FromDafny(input interface{}) *types.ProvisionedThroughput

+ func Com_amazonaws_dynamodb_UpdateGlobalSecondaryIndexAction_ProvisionedThroughput_ToDafny(input *types.ProvisionedThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateGlobalTableInput_GlobalTableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateGlobalTableInput_GlobalTableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_UpdateGlobalTableInput_ReplicaUpdates_FromDafny(input interface{}) []types.ReplicaUpdate

+ func Com_amazonaws_dynamodb_UpdateGlobalTableInput_ReplicaUpdates_ToDafny(input []types.ReplicaUpdate) dafny.Sequence

+ func Com_amazonaws_dynamodb_UpdateGlobalTableOutput_GlobalTableDescription_FromDafny(input interface{}) *types.GlobalTableDescription

+ func Com_amazonaws_dynamodb_UpdateGlobalTableOutput_GlobalTableDescription_ToDafny(input *types.GlobalTableDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateGlobalTableSettingsInput_GlobalTableBillingMode_FromDafny(input interface{}) types.BillingMode

+ func Com_amazonaws_dynamodb_UpdateGlobalTableSettingsInput_GlobalTableBillingMode_ToDafny(input types.BillingMode) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateGlobalTableSettingsInput_GlobalTableGlobalSecondaryIndexSettingsUpdate_FromDafny(input interface{}) []types.GlobalTableGlobalSecondaryIndexSettingsUpdate

+ func Com_amazonaws_dynamodb_UpdateGlobalTableSettingsInput_GlobalTableGlobalSecondaryIndexSettingsUpdate_ToDafny(input []types.GlobalTableGlobalSecondaryIndexSettingsUpdate) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateGlobalTableSettingsInput_GlobalTableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateGlobalTableSettingsInput_GlobalTableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_UpdateGlobalTableSettingsInput_GlobalTableProvisionedWriteCapacityAutoScalingSettingsUpdate_FromDafny(input interface{}) *types.AutoScalingSettingsUpdate

+ func Com_amazonaws_dynamodb_UpdateGlobalTableSettingsInput_GlobalTableProvisionedWriteCapacityAutoScalingSettingsUpdate_ToDafny(input *types.AutoScalingSettingsUpdate) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateGlobalTableSettingsInput_GlobalTableProvisionedWriteCapacityUnits_FromDafny(input interface{}) *int64

+ func Com_amazonaws_dynamodb_UpdateGlobalTableSettingsInput_GlobalTableProvisionedWriteCapacityUnits_ToDafny(input *int64) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateGlobalTableSettingsInput_ReplicaSettingsUpdate_FromDafny(input interface{}) []types.ReplicaSettingsUpdate

+ func Com_amazonaws_dynamodb_UpdateGlobalTableSettingsInput_ReplicaSettingsUpdate_ToDafny(input []types.ReplicaSettingsUpdate) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateGlobalTableSettingsOutput_GlobalTableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateGlobalTableSettingsOutput_GlobalTableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateGlobalTableSettingsOutput_ReplicaSettings_FromDafny(input interface{}) []types.ReplicaSettingsDescription

+ func Com_amazonaws_dynamodb_UpdateGlobalTableSettingsOutput_ReplicaSettings_ToDafny(input []types.ReplicaSettingsDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateItemInput_AttributeUpdates_FromDafny(input interface{}) map[string]types.AttributeValueUpdate

+ func Com_amazonaws_dynamodb_UpdateItemInput_AttributeUpdates_ToDafny(input map[string]types.AttributeValueUpdate) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateItemInput_ConditionExpression_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateItemInput_ConditionExpression_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateItemInput_ConditionalOperator_FromDafny(input interface{}) types.ConditionalOperator

+ func Com_amazonaws_dynamodb_UpdateItemInput_ConditionalOperator_ToDafny(input types.ConditionalOperator) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateItemInput_Expected_FromDafny(input interface{}) map[string]types.ExpectedAttributeValue

+ func Com_amazonaws_dynamodb_UpdateItemInput_Expected_ToDafny(input map[string]types.ExpectedAttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateItemInput_ExpressionAttributeNames_FromDafny(input interface{}) map[string]string

+ func Com_amazonaws_dynamodb_UpdateItemInput_ExpressionAttributeNames_ToDafny(input map[string]string) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateItemInput_ExpressionAttributeValues_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_UpdateItemInput_ExpressionAttributeValues_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateItemInput_Key_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_UpdateItemInput_Key_ToDafny(input map[string]types.AttributeValue) dafny.Map

+ func Com_amazonaws_dynamodb_UpdateItemInput_ReturnConsumedCapacity_FromDafny(input interface{}) types.ReturnConsumedCapacity

+ func Com_amazonaws_dynamodb_UpdateItemInput_ReturnConsumedCapacity_ToDafny(input types.ReturnConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateItemInput_ReturnItemCollectionMetrics_FromDafny(input interface{}) types.ReturnItemCollectionMetrics

+ func Com_amazonaws_dynamodb_UpdateItemInput_ReturnItemCollectionMetrics_ToDafny(input types.ReturnItemCollectionMetrics) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateItemInput_ReturnValues_FromDafny(input interface{}) types.ReturnValue

+ func Com_amazonaws_dynamodb_UpdateItemInput_ReturnValues_ToDafny(input types.ReturnValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateItemInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateItemInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_UpdateItemInput_UpdateExpression_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateItemInput_UpdateExpression_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateItemOutput_Attributes_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_UpdateItemOutput_Attributes_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateItemOutput_ConsumedCapacity_FromDafny(input interface{}) *types.ConsumedCapacity

+ func Com_amazonaws_dynamodb_UpdateItemOutput_ConsumedCapacity_ToDafny(input *types.ConsumedCapacity) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateItemOutput_ItemCollectionMetrics_FromDafny(input interface{}) *types.ItemCollectionMetrics

+ func Com_amazonaws_dynamodb_UpdateItemOutput_ItemCollectionMetrics_ToDafny(input *types.ItemCollectionMetrics) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateKinesisStreamingConfiguration_ApproximateCreationDateTimePrecision_FromDafny(input interface{}) types.ApproximateCreationDateTimePrecision

+ func Com_amazonaws_dynamodb_UpdateKinesisStreamingConfiguration_ApproximateCreationDateTimePrecision_ToDafny(input types.ApproximateCreationDateTimePrecision) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateKinesisStreamingDestinationInput_StreamArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateKinesisStreamingDestinationInput_StreamArn_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_UpdateKinesisStreamingDestinationInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateKinesisStreamingDestinationInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_UpdateKinesisStreamingDestinationInput_UpdateKinesisStreamingConfiguration_FromDafny(input interface{}) *types.UpdateKinesisStreamingConfiguration

+ func Com_amazonaws_dynamodb_UpdateKinesisStreamingDestinationInput_UpdateKinesisStreamingConfiguration_ToDafny(input *types.UpdateKinesisStreamingConfiguration) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateKinesisStreamingDestinationOutput_DestinationStatus_FromDafny(input interface{}) types.DestinationStatus

+ func Com_amazonaws_dynamodb_UpdateKinesisStreamingDestinationOutput_DestinationStatus_ToDafny(input types.DestinationStatus) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateKinesisStreamingDestinationOutput_StreamArn_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateKinesisStreamingDestinationOutput_StreamArn_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateKinesisStreamingDestinationOutput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateKinesisStreamingDestinationOutput_TableName_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateKinesisStreamingDestinationOutput_UpdateKinesisStreamingConfiguration_FromDafny(input interface{}) *types.UpdateKinesisStreamingConfiguration

+ func Com_amazonaws_dynamodb_UpdateKinesisStreamingDestinationOutput_UpdateKinesisStreamingConfiguration_ToDafny(input *types.UpdateKinesisStreamingConfiguration) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateReplicationGroupMemberAction_GlobalSecondaryIndexes_FromDafny(input interface{}) []types.ReplicaGlobalSecondaryIndex

+ func Com_amazonaws_dynamodb_UpdateReplicationGroupMemberAction_GlobalSecondaryIndexes_ToDafny(input []types.ReplicaGlobalSecondaryIndex) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateReplicationGroupMemberAction_KMSMasterKeyId_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateReplicationGroupMemberAction_KMSMasterKeyId_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateReplicationGroupMemberAction_OnDemandThroughputOverride_FromDafny(input interface{}) *types.OnDemandThroughputOverride

+ func Com_amazonaws_dynamodb_UpdateReplicationGroupMemberAction_OnDemandThroughputOverride_ToDafny(input *types.OnDemandThroughputOverride) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateReplicationGroupMemberAction_ProvisionedThroughputOverride_FromDafny(input interface{}) *types.ProvisionedThroughputOverride

+ func Com_amazonaws_dynamodb_UpdateReplicationGroupMemberAction_ProvisionedThroughputOverride_ToDafny(input *types.ProvisionedThroughputOverride) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateReplicationGroupMemberAction_RegionName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateReplicationGroupMemberAction_RegionName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_UpdateReplicationGroupMemberAction_TableClassOverride_FromDafny(input interface{}) types.TableClass

+ func Com_amazonaws_dynamodb_UpdateReplicationGroupMemberAction_TableClassOverride_ToDafny(input types.TableClass) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateTableInput_AttributeDefinitions_FromDafny(input interface{}) []types.AttributeDefinition

+ func Com_amazonaws_dynamodb_UpdateTableInput_AttributeDefinitions_ToDafny(input []types.AttributeDefinition) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateTableInput_BillingMode_FromDafny(input interface{}) types.BillingMode

+ func Com_amazonaws_dynamodb_UpdateTableInput_BillingMode_ToDafny(input types.BillingMode) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateTableInput_DeletionProtectionEnabled_FromDafny(input interface{}) *bool

+ func Com_amazonaws_dynamodb_UpdateTableInput_DeletionProtectionEnabled_ToDafny(input *bool) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateTableInput_GlobalSecondaryIndexUpdates_FromDafny(input interface{}) []types.GlobalSecondaryIndexUpdate

+ func Com_amazonaws_dynamodb_UpdateTableInput_GlobalSecondaryIndexUpdates_ToDafny(input []types.GlobalSecondaryIndexUpdate) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateTableInput_OnDemandThroughput_FromDafny(input interface{}) *types.OnDemandThroughput

+ func Com_amazonaws_dynamodb_UpdateTableInput_OnDemandThroughput_ToDafny(input *types.OnDemandThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateTableInput_ProvisionedThroughput_FromDafny(input interface{}) *types.ProvisionedThroughput

+ func Com_amazonaws_dynamodb_UpdateTableInput_ProvisionedThroughput_ToDafny(input *types.ProvisionedThroughput) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateTableInput_ReplicaUpdates_FromDafny(input interface{}) []types.ReplicationGroupUpdate

+ func Com_amazonaws_dynamodb_UpdateTableInput_ReplicaUpdates_ToDafny(input []types.ReplicationGroupUpdate) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateTableInput_SSESpecification_FromDafny(input interface{}) *types.SSESpecification

+ func Com_amazonaws_dynamodb_UpdateTableInput_SSESpecification_ToDafny(input *types.SSESpecification) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateTableInput_StreamSpecification_FromDafny(input interface{}) *types.StreamSpecification

+ func Com_amazonaws_dynamodb_UpdateTableInput_StreamSpecification_ToDafny(input *types.StreamSpecification) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateTableInput_TableClass_FromDafny(input interface{}) types.TableClass

+ func Com_amazonaws_dynamodb_UpdateTableInput_TableClass_ToDafny(input types.TableClass) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateTableInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateTableInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_UpdateTableOutput_TableDescription_FromDafny(input interface{}) *types.TableDescription

+ func Com_amazonaws_dynamodb_UpdateTableOutput_TableDescription_ToDafny(input *types.TableDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateTableReplicaAutoScalingInput_GlobalSecondaryIndexUpdates_FromDafny(input interface{}) []types.GlobalSecondaryIndexAutoScalingUpdate

+ func Com_amazonaws_dynamodb_UpdateTableReplicaAutoScalingInput_GlobalSecondaryIndexUpdates_ToDafny(input []types.GlobalSecondaryIndexAutoScalingUpdate) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateTableReplicaAutoScalingInput_ProvisionedWriteCapacityAutoScalingUpdate_FromDafny(input interface{}) *types.AutoScalingSettingsUpdate

+ func Com_amazonaws_dynamodb_UpdateTableReplicaAutoScalingInput_ProvisionedWriteCapacityAutoScalingUpdate_ToDafny(input *types.AutoScalingSettingsUpdate) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateTableReplicaAutoScalingInput_ReplicaUpdates_FromDafny(input interface{}) []types.ReplicaAutoScalingUpdate

+ func Com_amazonaws_dynamodb_UpdateTableReplicaAutoScalingInput_ReplicaUpdates_ToDafny(input []types.ReplicaAutoScalingUpdate) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateTableReplicaAutoScalingInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateTableReplicaAutoScalingInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_UpdateTableReplicaAutoScalingOutput_TableAutoScalingDescription_FromDafny(input interface{}) *types.TableAutoScalingDescription

+ func Com_amazonaws_dynamodb_UpdateTableReplicaAutoScalingOutput_TableAutoScalingDescription_ToDafny(input *types.TableAutoScalingDescription) Wrappers.Option

+ func Com_amazonaws_dynamodb_UpdateTimeToLiveInput_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_UpdateTimeToLiveInput_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_UpdateTimeToLiveInput_TimeToLiveSpecification_FromDafny(input interface{}) *types.TimeToLiveSpecification

+ func Com_amazonaws_dynamodb_UpdateTimeToLiveInput_TimeToLiveSpecification_ToDafny(input *types.TimeToLiveSpecification) ComAmazonawsDynamodbTypes.TimeToLiveSpecification

+ func Com_amazonaws_dynamodb_UpdateTimeToLiveOutput_TimeToLiveSpecification_FromDafny(input interface{}) *types.TimeToLiveSpecification

+ func Com_amazonaws_dynamodb_UpdateTimeToLiveOutput_TimeToLiveSpecification_ToDafny(input *types.TimeToLiveSpecification) Wrappers.Option

+ func Com_amazonaws_dynamodb_Update_ConditionExpression_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_Update_ConditionExpression_ToDafny(input *string) Wrappers.Option

+ func Com_amazonaws_dynamodb_Update_ExpressionAttributeNames_FromDafny(input interface{}) map[string]string

+ func Com_amazonaws_dynamodb_Update_ExpressionAttributeNames_ToDafny(input map[string]string) Wrappers.Option

+ func Com_amazonaws_dynamodb_Update_ExpressionAttributeValues_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_Update_ExpressionAttributeValues_ToDafny(input map[string]types.AttributeValue) Wrappers.Option

+ func Com_amazonaws_dynamodb_Update_Key_FromDafny(input interface{}) map[string]types.AttributeValue

+ func Com_amazonaws_dynamodb_Update_Key_ToDafny(input map[string]types.AttributeValue) dafny.Map

+ func Com_amazonaws_dynamodb_Update_ReturnValuesOnConditionCheckFailure_FromDafny(input interface{}) types.ReturnValuesOnConditionCheckFailure

+ func Com_amazonaws_dynamodb_Update_ReturnValuesOnConditionCheckFailure_ToDafny(input types.ReturnValuesOnConditionCheckFailure) Wrappers.Option

+ func Com_amazonaws_dynamodb_Update_TableName_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_Update_TableName_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_Update_UpdateExpression_FromDafny(input interface{}) *string

+ func Com_amazonaws_dynamodb_Update_UpdateExpression_ToDafny(input *string) dafny.Sequence

+ func Com_amazonaws_dynamodb_WriteRequest_DeleteRequest_FromDafny(input interface{}) *types.DeleteRequest

+ func Com_amazonaws_dynamodb_WriteRequest_DeleteRequest_ToDafny(input *types.DeleteRequest) Wrappers.Option

+ func Com_amazonaws_dynamodb_WriteRequest_PutRequest_FromDafny(input interface{}) *types.PutRequest

+ func Com_amazonaws_dynamodb_WriteRequest_PutRequest_ToDafny(input *types.PutRequest) Wrappers.Option

+ func Com_amazonaws_dynamodb_WriteRequests_member_FromDafny(input interface{}) types.WriteRequest

+ func Com_amazonaws_dynamodb_WriteRequests_member_ToDafny(input types.WriteRequest) ComAmazonawsDynamodbTypes.WriteRequest

v0.1.0

Jan 15, 2025

v0.0.3

Jan 14, 2025

Changes in this version

+ func BackupInUseException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.BackupInUseException

+ func BackupInUseException_ToDafny(nativeInput types.BackupInUseException) ComAmazonawsDynamodbTypes.Error

+ func BackupNotFoundException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.BackupNotFoundException

+ func BackupNotFoundException_ToDafny(nativeInput types.BackupNotFoundException) ComAmazonawsDynamodbTypes.Error

+ func BatchExecuteStatementInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.BatchExecuteStatementInput) dynamodb.BatchExecuteStatementInput

+ func BatchExecuteStatementInput_ToDafny(nativeInput dynamodb.BatchExecuteStatementInput) ComAmazonawsDynamodbTypes.BatchExecuteStatementInput

+ func BatchExecuteStatementOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.BatchExecuteStatementOutput) dynamodb.BatchExecuteStatementOutput

+ func BatchExecuteStatementOutput_ToDafny(nativeOutput dynamodb.BatchExecuteStatementOutput) ComAmazonawsDynamodbTypes.BatchExecuteStatementOutput

+ func BatchGetItemInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.BatchGetItemInput) dynamodb.BatchGetItemInput

+ func BatchGetItemInput_ToDafny(nativeInput dynamodb.BatchGetItemInput) ComAmazonawsDynamodbTypes.BatchGetItemInput

+ func BatchGetItemOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.BatchGetItemOutput) dynamodb.BatchGetItemOutput

+ func BatchGetItemOutput_ToDafny(nativeOutput dynamodb.BatchGetItemOutput) ComAmazonawsDynamodbTypes.BatchGetItemOutput

+ func BatchWriteItemInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.BatchWriteItemInput) dynamodb.BatchWriteItemInput

+ func BatchWriteItemInput_ToDafny(nativeInput dynamodb.BatchWriteItemInput) ComAmazonawsDynamodbTypes.BatchWriteItemInput

+ func BatchWriteItemOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.BatchWriteItemOutput) dynamodb.BatchWriteItemOutput

+ func BatchWriteItemOutput_ToDafny(nativeOutput dynamodb.BatchWriteItemOutput) ComAmazonawsDynamodbTypes.BatchWriteItemOutput

+ func ConditionalCheckFailedException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ConditionalCheckFailedException

+ func ConditionalCheckFailedException_ToDafny(nativeInput types.ConditionalCheckFailedException) ComAmazonawsDynamodbTypes.Error

+ func ContinuousBackupsUnavailableException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ContinuousBackupsUnavailableException

+ func ContinuousBackupsUnavailableException_ToDafny(nativeInput types.ContinuousBackupsUnavailableException) ComAmazonawsDynamodbTypes.Error

+ func CreateBackupInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.CreateBackupInput) dynamodb.CreateBackupInput

+ func CreateBackupInput_ToDafny(nativeInput dynamodb.CreateBackupInput) ComAmazonawsDynamodbTypes.CreateBackupInput

+ func CreateBackupOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.CreateBackupOutput) dynamodb.CreateBackupOutput

+ func CreateBackupOutput_ToDafny(nativeOutput dynamodb.CreateBackupOutput) ComAmazonawsDynamodbTypes.CreateBackupOutput

+ func CreateGlobalTableInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.CreateGlobalTableInput) dynamodb.CreateGlobalTableInput

+ func CreateGlobalTableInput_ToDafny(nativeInput dynamodb.CreateGlobalTableInput) ComAmazonawsDynamodbTypes.CreateGlobalTableInput

+ func CreateGlobalTableOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.CreateGlobalTableOutput) dynamodb.CreateGlobalTableOutput

+ func CreateGlobalTableOutput_ToDafny(nativeOutput dynamodb.CreateGlobalTableOutput) ComAmazonawsDynamodbTypes.CreateGlobalTableOutput

+ func CreateTableInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.CreateTableInput) dynamodb.CreateTableInput

+ func CreateTableInput_ToDafny(nativeInput dynamodb.CreateTableInput) ComAmazonawsDynamodbTypes.CreateTableInput

+ func CreateTableOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.CreateTableOutput) dynamodb.CreateTableOutput

+ func CreateTableOutput_ToDafny(nativeOutput dynamodb.CreateTableOutput) ComAmazonawsDynamodbTypes.CreateTableOutput

+ func DeleteBackupInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DeleteBackupInput) dynamodb.DeleteBackupInput

+ func DeleteBackupInput_ToDafny(nativeInput dynamodb.DeleteBackupInput) ComAmazonawsDynamodbTypes.DeleteBackupInput

+ func DeleteBackupOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DeleteBackupOutput) dynamodb.DeleteBackupOutput

+ func DeleteBackupOutput_ToDafny(nativeOutput dynamodb.DeleteBackupOutput) ComAmazonawsDynamodbTypes.DeleteBackupOutput

+ func DeleteItemInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DeleteItemInput) dynamodb.DeleteItemInput

+ func DeleteItemInput_ToDafny(nativeInput dynamodb.DeleteItemInput) ComAmazonawsDynamodbTypes.DeleteItemInput

+ func DeleteItemOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DeleteItemOutput) dynamodb.DeleteItemOutput

+ func DeleteItemOutput_ToDafny(nativeOutput dynamodb.DeleteItemOutput) ComAmazonawsDynamodbTypes.DeleteItemOutput

+ func DeleteResourcePolicyInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DeleteResourcePolicyInput) dynamodb.DeleteResourcePolicyInput

+ func DeleteResourcePolicyInput_ToDafny(nativeInput dynamodb.DeleteResourcePolicyInput) ComAmazonawsDynamodbTypes.DeleteResourcePolicyInput

+ func DeleteResourcePolicyOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DeleteResourcePolicyOutput) dynamodb.DeleteResourcePolicyOutput

+ func DeleteResourcePolicyOutput_ToDafny(nativeOutput dynamodb.DeleteResourcePolicyOutput) ComAmazonawsDynamodbTypes.DeleteResourcePolicyOutput

+ func DeleteTableInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DeleteTableInput) dynamodb.DeleteTableInput

+ func DeleteTableInput_ToDafny(nativeInput dynamodb.DeleteTableInput) ComAmazonawsDynamodbTypes.DeleteTableInput

+ func DeleteTableOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DeleteTableOutput) dynamodb.DeleteTableOutput

+ func DeleteTableOutput_ToDafny(nativeOutput dynamodb.DeleteTableOutput) ComAmazonawsDynamodbTypes.DeleteTableOutput

+ func DescribeBackupInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeBackupInput) dynamodb.DescribeBackupInput

+ func DescribeBackupInput_ToDafny(nativeInput dynamodb.DescribeBackupInput) ComAmazonawsDynamodbTypes.DescribeBackupInput

+ func DescribeBackupOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeBackupOutput) dynamodb.DescribeBackupOutput

+ func DescribeBackupOutput_ToDafny(nativeOutput dynamodb.DescribeBackupOutput) ComAmazonawsDynamodbTypes.DescribeBackupOutput

+ func DescribeContinuousBackupsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeContinuousBackupsInput) dynamodb.DescribeContinuousBackupsInput

+ func DescribeContinuousBackupsInput_ToDafny(nativeInput dynamodb.DescribeContinuousBackupsInput) ComAmazonawsDynamodbTypes.DescribeContinuousBackupsInput

+ func DescribeContinuousBackupsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeContinuousBackupsOutput) dynamodb.DescribeContinuousBackupsOutput

+ func DescribeContinuousBackupsOutput_ToDafny(nativeOutput dynamodb.DescribeContinuousBackupsOutput) ComAmazonawsDynamodbTypes.DescribeContinuousBackupsOutput

+ func DescribeContributorInsightsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeContributorInsightsInput) dynamodb.DescribeContributorInsightsInput

+ func DescribeContributorInsightsInput_ToDafny(nativeInput dynamodb.DescribeContributorInsightsInput) ComAmazonawsDynamodbTypes.DescribeContributorInsightsInput

+ func DescribeContributorInsightsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeContributorInsightsOutput) dynamodb.DescribeContributorInsightsOutput

+ func DescribeContributorInsightsOutput_ToDafny(nativeOutput dynamodb.DescribeContributorInsightsOutput) ComAmazonawsDynamodbTypes.DescribeContributorInsightsOutput

+ func DescribeEndpointsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeEndpointsRequest) dynamodb.DescribeEndpointsInput

+ func DescribeEndpointsInput_ToDafny(nativeInput dynamodb.DescribeEndpointsInput) ComAmazonawsDynamodbTypes.DescribeEndpointsRequest

+ func DescribeEndpointsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeEndpointsResponse) dynamodb.DescribeEndpointsOutput

+ func DescribeEndpointsOutput_ToDafny(nativeOutput dynamodb.DescribeEndpointsOutput) ComAmazonawsDynamodbTypes.DescribeEndpointsResponse

+ func DescribeExportInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeExportInput) dynamodb.DescribeExportInput

+ func DescribeExportInput_ToDafny(nativeInput dynamodb.DescribeExportInput) ComAmazonawsDynamodbTypes.DescribeExportInput

+ func DescribeExportOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeExportOutput) dynamodb.DescribeExportOutput

+ func DescribeExportOutput_ToDafny(nativeOutput dynamodb.DescribeExportOutput) ComAmazonawsDynamodbTypes.DescribeExportOutput

+ func DescribeGlobalTableInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeGlobalTableInput) dynamodb.DescribeGlobalTableInput

+ func DescribeGlobalTableInput_ToDafny(nativeInput dynamodb.DescribeGlobalTableInput) ComAmazonawsDynamodbTypes.DescribeGlobalTableInput

+ func DescribeGlobalTableOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeGlobalTableOutput) dynamodb.DescribeGlobalTableOutput

+ func DescribeGlobalTableOutput_ToDafny(nativeOutput dynamodb.DescribeGlobalTableOutput) ComAmazonawsDynamodbTypes.DescribeGlobalTableOutput

+ func DescribeGlobalTableSettingsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeGlobalTableSettingsInput) dynamodb.DescribeGlobalTableSettingsInput

+ func DescribeGlobalTableSettingsInput_ToDafny(nativeInput dynamodb.DescribeGlobalTableSettingsInput) ComAmazonawsDynamodbTypes.DescribeGlobalTableSettingsInput

+ func DescribeGlobalTableSettingsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeGlobalTableSettingsOutput) dynamodb.DescribeGlobalTableSettingsOutput

+ func DescribeGlobalTableSettingsOutput_ToDafny(nativeOutput dynamodb.DescribeGlobalTableSettingsOutput) ComAmazonawsDynamodbTypes.DescribeGlobalTableSettingsOutput

+ func DescribeImportInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeImportInput) dynamodb.DescribeImportInput

+ func DescribeImportInput_ToDafny(nativeInput dynamodb.DescribeImportInput) ComAmazonawsDynamodbTypes.DescribeImportInput

+ func DescribeImportOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeImportOutput) dynamodb.DescribeImportOutput

+ func DescribeImportOutput_ToDafny(nativeOutput dynamodb.DescribeImportOutput) ComAmazonawsDynamodbTypes.DescribeImportOutput

+ func DescribeKinesisStreamingDestinationInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeKinesisStreamingDestinationInput) dynamodb.DescribeKinesisStreamingDestinationInput

+ func DescribeKinesisStreamingDestinationInput_ToDafny(nativeInput dynamodb.DescribeKinesisStreamingDestinationInput) ComAmazonawsDynamodbTypes.DescribeKinesisStreamingDestinationInput

+ func DescribeKinesisStreamingDestinationOutput_FromDafny(...) dynamodb.DescribeKinesisStreamingDestinationOutput

+ func DescribeKinesisStreamingDestinationOutput_ToDafny(nativeOutput dynamodb.DescribeKinesisStreamingDestinationOutput) ComAmazonawsDynamodbTypes.DescribeKinesisStreamingDestinationOutput

+ func DescribeLimitsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeLimitsInput) dynamodb.DescribeLimitsInput

+ func DescribeLimitsInput_ToDafny(nativeInput dynamodb.DescribeLimitsInput) ComAmazonawsDynamodbTypes.DescribeLimitsInput

+ func DescribeLimitsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeLimitsOutput) dynamodb.DescribeLimitsOutput

+ func DescribeLimitsOutput_ToDafny(nativeOutput dynamodb.DescribeLimitsOutput) ComAmazonawsDynamodbTypes.DescribeLimitsOutput

+ func DescribeTableInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeTableInput) dynamodb.DescribeTableInput

+ func DescribeTableInput_ToDafny(nativeInput dynamodb.DescribeTableInput) ComAmazonawsDynamodbTypes.DescribeTableInput

+ func DescribeTableOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeTableOutput) dynamodb.DescribeTableOutput

+ func DescribeTableOutput_ToDafny(nativeOutput dynamodb.DescribeTableOutput) ComAmazonawsDynamodbTypes.DescribeTableOutput

+ func DescribeTableReplicaAutoScalingInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeTableReplicaAutoScalingInput) dynamodb.DescribeTableReplicaAutoScalingInput

+ func DescribeTableReplicaAutoScalingInput_ToDafny(nativeInput dynamodb.DescribeTableReplicaAutoScalingInput) ComAmazonawsDynamodbTypes.DescribeTableReplicaAutoScalingInput

+ func DescribeTableReplicaAutoScalingOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeTableReplicaAutoScalingOutput) dynamodb.DescribeTableReplicaAutoScalingOutput

+ func DescribeTableReplicaAutoScalingOutput_ToDafny(nativeOutput dynamodb.DescribeTableReplicaAutoScalingOutput) ComAmazonawsDynamodbTypes.DescribeTableReplicaAutoScalingOutput

+ func DescribeTimeToLiveInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DescribeTimeToLiveInput) dynamodb.DescribeTimeToLiveInput

+ func DescribeTimeToLiveInput_ToDafny(nativeInput dynamodb.DescribeTimeToLiveInput) ComAmazonawsDynamodbTypes.DescribeTimeToLiveInput

+ func DescribeTimeToLiveOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DescribeTimeToLiveOutput) dynamodb.DescribeTimeToLiveOutput

+ func DescribeTimeToLiveOutput_ToDafny(nativeOutput dynamodb.DescribeTimeToLiveOutput) ComAmazonawsDynamodbTypes.DescribeTimeToLiveOutput

+ func DisableKinesisStreamingDestinationInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.DisableKinesisStreamingDestinationInput) dynamodb.DisableKinesisStreamingDestinationInput

+ func DisableKinesisStreamingDestinationInput_ToDafny(nativeInput dynamodb.DisableKinesisStreamingDestinationInput) ComAmazonawsDynamodbTypes.DisableKinesisStreamingDestinationInput

+ func DisableKinesisStreamingDestinationOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.DisableKinesisStreamingDestinationOutput) dynamodb.DisableKinesisStreamingDestinationOutput

+ func DisableKinesisStreamingDestinationOutput_ToDafny(nativeOutput dynamodb.DisableKinesisStreamingDestinationOutput) ComAmazonawsDynamodbTypes.DisableKinesisStreamingDestinationOutput

+ func DuplicateItemException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.DuplicateItemException

+ func DuplicateItemException_ToDafny(nativeInput types.DuplicateItemException) ComAmazonawsDynamodbTypes.Error

+ func EnableKinesisStreamingDestinationInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.EnableKinesisStreamingDestinationInput) dynamodb.EnableKinesisStreamingDestinationInput

+ func EnableKinesisStreamingDestinationInput_ToDafny(nativeInput dynamodb.EnableKinesisStreamingDestinationInput) ComAmazonawsDynamodbTypes.EnableKinesisStreamingDestinationInput

+ func EnableKinesisStreamingDestinationOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.EnableKinesisStreamingDestinationOutput) dynamodb.EnableKinesisStreamingDestinationOutput

+ func EnableKinesisStreamingDestinationOutput_ToDafny(nativeOutput dynamodb.EnableKinesisStreamingDestinationOutput) ComAmazonawsDynamodbTypes.EnableKinesisStreamingDestinationOutput

+ func Error_FromDafny(err ComAmazonawsDynamodbTypes.Error) error

+ func Error_ToDafny(err error) ComAmazonawsDynamodbTypes.Error

+ func ExecuteStatementInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ExecuteStatementInput) dynamodb.ExecuteStatementInput

+ func ExecuteStatementInput_ToDafny(nativeInput dynamodb.ExecuteStatementInput) ComAmazonawsDynamodbTypes.ExecuteStatementInput

+ func ExecuteStatementOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ExecuteStatementOutput) dynamodb.ExecuteStatementOutput

+ func ExecuteStatementOutput_ToDafny(nativeOutput dynamodb.ExecuteStatementOutput) ComAmazonawsDynamodbTypes.ExecuteStatementOutput

+ func ExecuteTransactionInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ExecuteTransactionInput) dynamodb.ExecuteTransactionInput

+ func ExecuteTransactionInput_ToDafny(nativeInput dynamodb.ExecuteTransactionInput) ComAmazonawsDynamodbTypes.ExecuteTransactionInput

+ func ExecuteTransactionOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ExecuteTransactionOutput) dynamodb.ExecuteTransactionOutput

+ func ExecuteTransactionOutput_ToDafny(nativeOutput dynamodb.ExecuteTransactionOutput) ComAmazonawsDynamodbTypes.ExecuteTransactionOutput

+ func ExportConflictException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ExportConflictException

+ func ExportConflictException_ToDafny(nativeInput types.ExportConflictException) ComAmazonawsDynamodbTypes.Error

+ func ExportNotFoundException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ExportNotFoundException

+ func ExportNotFoundException_ToDafny(nativeInput types.ExportNotFoundException) ComAmazonawsDynamodbTypes.Error

+ func ExportTableToPointInTimeInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ExportTableToPointInTimeInput) dynamodb.ExportTableToPointInTimeInput

+ func ExportTableToPointInTimeInput_ToDafny(nativeInput dynamodb.ExportTableToPointInTimeInput) ComAmazonawsDynamodbTypes.ExportTableToPointInTimeInput

+ func ExportTableToPointInTimeOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ExportTableToPointInTimeOutput) dynamodb.ExportTableToPointInTimeOutput

+ func ExportTableToPointInTimeOutput_ToDafny(nativeOutput dynamodb.ExportTableToPointInTimeOutput) ComAmazonawsDynamodbTypes.ExportTableToPointInTimeOutput

+ func GetItemInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.GetItemInput) dynamodb.GetItemInput

+ func GetItemInput_ToDafny(nativeInput dynamodb.GetItemInput) ComAmazonawsDynamodbTypes.GetItemInput

+ func GetItemOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.GetItemOutput) dynamodb.GetItemOutput

+ func GetItemOutput_ToDafny(nativeOutput dynamodb.GetItemOutput) ComAmazonawsDynamodbTypes.GetItemOutput

+ func GetResourcePolicyInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.GetResourcePolicyInput) dynamodb.GetResourcePolicyInput

+ func GetResourcePolicyInput_ToDafny(nativeInput dynamodb.GetResourcePolicyInput) ComAmazonawsDynamodbTypes.GetResourcePolicyInput

+ func GetResourcePolicyOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.GetResourcePolicyOutput) dynamodb.GetResourcePolicyOutput

+ func GetResourcePolicyOutput_ToDafny(nativeOutput dynamodb.GetResourcePolicyOutput) ComAmazonawsDynamodbTypes.GetResourcePolicyOutput

+ func GlobalTableAlreadyExistsException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.GlobalTableAlreadyExistsException

+ func GlobalTableAlreadyExistsException_ToDafny(nativeInput types.GlobalTableAlreadyExistsException) ComAmazonawsDynamodbTypes.Error

+ func GlobalTableNotFoundException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.GlobalTableNotFoundException

+ func GlobalTableNotFoundException_ToDafny(nativeInput types.GlobalTableNotFoundException) ComAmazonawsDynamodbTypes.Error

+ func IdempotentParameterMismatchException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.IdempotentParameterMismatchException

+ func IdempotentParameterMismatchException_ToDafny(nativeInput types.IdempotentParameterMismatchException) ComAmazonawsDynamodbTypes.Error

+ func ImportConflictException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ImportConflictException

+ func ImportConflictException_ToDafny(nativeInput types.ImportConflictException) ComAmazonawsDynamodbTypes.Error

+ func ImportNotFoundException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ImportNotFoundException

+ func ImportNotFoundException_ToDafny(nativeInput types.ImportNotFoundException) ComAmazonawsDynamodbTypes.Error

+ func ImportTableInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ImportTableInput) dynamodb.ImportTableInput

+ func ImportTableInput_ToDafny(nativeInput dynamodb.ImportTableInput) ComAmazonawsDynamodbTypes.ImportTableInput

+ func ImportTableOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ImportTableOutput) dynamodb.ImportTableOutput

+ func ImportTableOutput_ToDafny(nativeOutput dynamodb.ImportTableOutput) ComAmazonawsDynamodbTypes.ImportTableOutput

+ func IndexNotFoundException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.IndexNotFoundException

+ func IndexNotFoundException_ToDafny(nativeInput types.IndexNotFoundException) ComAmazonawsDynamodbTypes.Error

+ func InternalServerError_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.InternalServerError

+ func InternalServerError_ToDafny(nativeInput types.InternalServerError) ComAmazonawsDynamodbTypes.Error

+ func InvalidEndpointException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.InvalidEndpointException

+ func InvalidEndpointException_ToDafny(nativeInput types.InvalidEndpointException) ComAmazonawsDynamodbTypes.Error

+ func InvalidExportTimeException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.InvalidExportTimeException

+ func InvalidExportTimeException_ToDafny(nativeInput types.InvalidExportTimeException) ComAmazonawsDynamodbTypes.Error

+ func InvalidRestoreTimeException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.InvalidRestoreTimeException

+ func InvalidRestoreTimeException_ToDafny(nativeInput types.InvalidRestoreTimeException) ComAmazonawsDynamodbTypes.Error

+ func ItemCollectionSizeLimitExceededException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ItemCollectionSizeLimitExceededException

+ func ItemCollectionSizeLimitExceededException_ToDafny(nativeInput types.ItemCollectionSizeLimitExceededException) ComAmazonawsDynamodbTypes.Error

+ func LimitExceededException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.LimitExceededException

+ func LimitExceededException_ToDafny(nativeInput types.LimitExceededException) ComAmazonawsDynamodbTypes.Error

+ func ListBackupsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ListBackupsInput) dynamodb.ListBackupsInput

+ func ListBackupsInput_ToDafny(nativeInput dynamodb.ListBackupsInput) ComAmazonawsDynamodbTypes.ListBackupsInput

+ func ListBackupsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ListBackupsOutput) dynamodb.ListBackupsOutput

+ func ListBackupsOutput_ToDafny(nativeOutput dynamodb.ListBackupsOutput) ComAmazonawsDynamodbTypes.ListBackupsOutput

+ func ListContributorInsightsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ListContributorInsightsInput) dynamodb.ListContributorInsightsInput

+ func ListContributorInsightsInput_ToDafny(nativeInput dynamodb.ListContributorInsightsInput) ComAmazonawsDynamodbTypes.ListContributorInsightsInput

+ func ListContributorInsightsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ListContributorInsightsOutput) dynamodb.ListContributorInsightsOutput

+ func ListContributorInsightsOutput_ToDafny(nativeOutput dynamodb.ListContributorInsightsOutput) ComAmazonawsDynamodbTypes.ListContributorInsightsOutput

+ func ListExportsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ListExportsInput) dynamodb.ListExportsInput

+ func ListExportsInput_ToDafny(nativeInput dynamodb.ListExportsInput) ComAmazonawsDynamodbTypes.ListExportsInput

+ func ListExportsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ListExportsOutput) dynamodb.ListExportsOutput

+ func ListExportsOutput_ToDafny(nativeOutput dynamodb.ListExportsOutput) ComAmazonawsDynamodbTypes.ListExportsOutput

+ func ListGlobalTablesInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ListGlobalTablesInput) dynamodb.ListGlobalTablesInput

+ func ListGlobalTablesInput_ToDafny(nativeInput dynamodb.ListGlobalTablesInput) ComAmazonawsDynamodbTypes.ListGlobalTablesInput

+ func ListGlobalTablesOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ListGlobalTablesOutput) dynamodb.ListGlobalTablesOutput

+ func ListGlobalTablesOutput_ToDafny(nativeOutput dynamodb.ListGlobalTablesOutput) ComAmazonawsDynamodbTypes.ListGlobalTablesOutput

+ func ListImportsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ListImportsInput) dynamodb.ListImportsInput

+ func ListImportsInput_ToDafny(nativeInput dynamodb.ListImportsInput) ComAmazonawsDynamodbTypes.ListImportsInput

+ func ListImportsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ListImportsOutput) dynamodb.ListImportsOutput

+ func ListImportsOutput_ToDafny(nativeOutput dynamodb.ListImportsOutput) ComAmazonawsDynamodbTypes.ListImportsOutput

+ func ListTablesInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ListTablesInput) dynamodb.ListTablesInput

+ func ListTablesInput_ToDafny(nativeInput dynamodb.ListTablesInput) ComAmazonawsDynamodbTypes.ListTablesInput

+ func ListTablesOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ListTablesOutput) dynamodb.ListTablesOutput

+ func ListTablesOutput_ToDafny(nativeOutput dynamodb.ListTablesOutput) ComAmazonawsDynamodbTypes.ListTablesOutput

+ func ListTagsOfResourceInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ListTagsOfResourceInput) dynamodb.ListTagsOfResourceInput

+ func ListTagsOfResourceInput_ToDafny(nativeInput dynamodb.ListTagsOfResourceInput) ComAmazonawsDynamodbTypes.ListTagsOfResourceInput

+ func ListTagsOfResourceOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ListTagsOfResourceOutput) dynamodb.ListTagsOfResourceOutput

+ func ListTagsOfResourceOutput_ToDafny(nativeOutput dynamodb.ListTagsOfResourceOutput) ComAmazonawsDynamodbTypes.ListTagsOfResourceOutput

+ func OpaqueError_Input_ToDafny(nativeInput error) ComAmazonawsDynamodbTypes.Error

+ func OpaqueError_Output_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) error

+ func PointInTimeRecoveryUnavailableException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.PointInTimeRecoveryUnavailableException

+ func PointInTimeRecoveryUnavailableException_ToDafny(nativeInput types.PointInTimeRecoveryUnavailableException) ComAmazonawsDynamodbTypes.Error

+ func PolicyNotFoundException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.PolicyNotFoundException

+ func PolicyNotFoundException_ToDafny(nativeInput types.PolicyNotFoundException) ComAmazonawsDynamodbTypes.Error

+ func ProvisionedThroughputExceededException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ProvisionedThroughputExceededException

+ func ProvisionedThroughputExceededException_ToDafny(nativeInput types.ProvisionedThroughputExceededException) ComAmazonawsDynamodbTypes.Error

+ func PutItemInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.PutItemInput) dynamodb.PutItemInput

+ func PutItemInput_ToDafny(nativeInput dynamodb.PutItemInput) ComAmazonawsDynamodbTypes.PutItemInput

+ func PutItemOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.PutItemOutput) dynamodb.PutItemOutput

+ func PutItemOutput_ToDafny(nativeOutput dynamodb.PutItemOutput) ComAmazonawsDynamodbTypes.PutItemOutput

+ func PutResourcePolicyInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.PutResourcePolicyInput) dynamodb.PutResourcePolicyInput

+ func PutResourcePolicyInput_ToDafny(nativeInput dynamodb.PutResourcePolicyInput) ComAmazonawsDynamodbTypes.PutResourcePolicyInput

+ func PutResourcePolicyOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.PutResourcePolicyOutput) dynamodb.PutResourcePolicyOutput

+ func PutResourcePolicyOutput_ToDafny(nativeOutput dynamodb.PutResourcePolicyOutput) ComAmazonawsDynamodbTypes.PutResourcePolicyOutput

+ func QueryInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.QueryInput) dynamodb.QueryInput

+ func QueryInput_ToDafny(nativeInput dynamodb.QueryInput) ComAmazonawsDynamodbTypes.QueryInput

+ func QueryOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.QueryOutput) dynamodb.QueryOutput

+ func QueryOutput_ToDafny(nativeOutput dynamodb.QueryOutput) ComAmazonawsDynamodbTypes.QueryOutput

+ func ReplicaAlreadyExistsException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ReplicaAlreadyExistsException

+ func ReplicaAlreadyExistsException_ToDafny(nativeInput types.ReplicaAlreadyExistsException) ComAmazonawsDynamodbTypes.Error

+ func ReplicaNotFoundException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ReplicaNotFoundException

+ func ReplicaNotFoundException_ToDafny(nativeInput types.ReplicaNotFoundException) ComAmazonawsDynamodbTypes.Error

+ func RequestLimitExceeded_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.RequestLimitExceeded

+ func RequestLimitExceeded_ToDafny(nativeInput types.RequestLimitExceeded) ComAmazonawsDynamodbTypes.Error

+ func ResourceInUseException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ResourceInUseException

+ func ResourceInUseException_ToDafny(nativeInput types.ResourceInUseException) ComAmazonawsDynamodbTypes.Error

+ func ResourceNotFoundException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.ResourceNotFoundException

+ func ResourceNotFoundException_ToDafny(nativeInput types.ResourceNotFoundException) ComAmazonawsDynamodbTypes.Error

+ func RestoreTableFromBackupInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.RestoreTableFromBackupInput) dynamodb.RestoreTableFromBackupInput

+ func RestoreTableFromBackupInput_ToDafny(nativeInput dynamodb.RestoreTableFromBackupInput) ComAmazonawsDynamodbTypes.RestoreTableFromBackupInput

+ func RestoreTableFromBackupOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.RestoreTableFromBackupOutput) dynamodb.RestoreTableFromBackupOutput

+ func RestoreTableFromBackupOutput_ToDafny(nativeOutput dynamodb.RestoreTableFromBackupOutput) ComAmazonawsDynamodbTypes.RestoreTableFromBackupOutput

+ func RestoreTableToPointInTimeInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.RestoreTableToPointInTimeInput) dynamodb.RestoreTableToPointInTimeInput

+ func RestoreTableToPointInTimeInput_ToDafny(nativeInput dynamodb.RestoreTableToPointInTimeInput) ComAmazonawsDynamodbTypes.RestoreTableToPointInTimeInput

+ func RestoreTableToPointInTimeOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.RestoreTableToPointInTimeOutput) dynamodb.RestoreTableToPointInTimeOutput

+ func RestoreTableToPointInTimeOutput_ToDafny(nativeOutput dynamodb.RestoreTableToPointInTimeOutput) ComAmazonawsDynamodbTypes.RestoreTableToPointInTimeOutput

+ func ScanInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.ScanInput) dynamodb.ScanInput

+ func ScanInput_ToDafny(nativeInput dynamodb.ScanInput) ComAmazonawsDynamodbTypes.ScanInput

+ func ScanOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.ScanOutput) dynamodb.ScanOutput

+ func ScanOutput_ToDafny(nativeOutput dynamodb.ScanOutput) ComAmazonawsDynamodbTypes.ScanOutput

+ func TableAlreadyExistsException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.TableAlreadyExistsException

+ func TableAlreadyExistsException_ToDafny(nativeInput types.TableAlreadyExistsException) ComAmazonawsDynamodbTypes.Error

+ func TableInUseException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.TableInUseException

+ func TableInUseException_ToDafny(nativeInput types.TableInUseException) ComAmazonawsDynamodbTypes.Error

+ func TableNotFoundException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.TableNotFoundException

+ func TableNotFoundException_ToDafny(nativeInput types.TableNotFoundException) ComAmazonawsDynamodbTypes.Error

+ func TagResourceInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.TagResourceInput) dynamodb.TagResourceInput

+ func TagResourceInput_ToDafny(nativeInput dynamodb.TagResourceInput) ComAmazonawsDynamodbTypes.TagResourceInput

+ func TransactGetItemsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.TransactGetItemsInput) dynamodb.TransactGetItemsInput

+ func TransactGetItemsInput_ToDafny(nativeInput dynamodb.TransactGetItemsInput) ComAmazonawsDynamodbTypes.TransactGetItemsInput

+ func TransactGetItemsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.TransactGetItemsOutput) dynamodb.TransactGetItemsOutput

+ func TransactGetItemsOutput_ToDafny(nativeOutput dynamodb.TransactGetItemsOutput) ComAmazonawsDynamodbTypes.TransactGetItemsOutput

+ func TransactWriteItemsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.TransactWriteItemsInput) dynamodb.TransactWriteItemsInput

+ func TransactWriteItemsInput_ToDafny(nativeInput dynamodb.TransactWriteItemsInput) ComAmazonawsDynamodbTypes.TransactWriteItemsInput

+ func TransactWriteItemsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.TransactWriteItemsOutput) dynamodb.TransactWriteItemsOutput

+ func TransactWriteItemsOutput_ToDafny(nativeOutput dynamodb.TransactWriteItemsOutput) ComAmazonawsDynamodbTypes.TransactWriteItemsOutput

+ func TransactionCanceledException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.TransactionCanceledException

+ func TransactionCanceledException_ToDafny(nativeInput types.TransactionCanceledException) ComAmazonawsDynamodbTypes.Error

+ func TransactionConflictException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.TransactionConflictException

+ func TransactionConflictException_ToDafny(nativeInput types.TransactionConflictException) ComAmazonawsDynamodbTypes.Error

+ func TransactionInProgressException_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.Error) types.TransactionInProgressException

+ func TransactionInProgressException_ToDafny(nativeInput types.TransactionInProgressException) ComAmazonawsDynamodbTypes.Error

+ func UntagResourceInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UntagResourceInput) dynamodb.UntagResourceInput

+ func UntagResourceInput_ToDafny(nativeInput dynamodb.UntagResourceInput) ComAmazonawsDynamodbTypes.UntagResourceInput

+ func UpdateContinuousBackupsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UpdateContinuousBackupsInput) dynamodb.UpdateContinuousBackupsInput

+ func UpdateContinuousBackupsInput_ToDafny(nativeInput dynamodb.UpdateContinuousBackupsInput) ComAmazonawsDynamodbTypes.UpdateContinuousBackupsInput

+ func UpdateContinuousBackupsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.UpdateContinuousBackupsOutput) dynamodb.UpdateContinuousBackupsOutput

+ func UpdateContinuousBackupsOutput_ToDafny(nativeOutput dynamodb.UpdateContinuousBackupsOutput) ComAmazonawsDynamodbTypes.UpdateContinuousBackupsOutput

+ func UpdateContributorInsightsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UpdateContributorInsightsInput) dynamodb.UpdateContributorInsightsInput

+ func UpdateContributorInsightsInput_ToDafny(nativeInput dynamodb.UpdateContributorInsightsInput) ComAmazonawsDynamodbTypes.UpdateContributorInsightsInput

+ func UpdateContributorInsightsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.UpdateContributorInsightsOutput) dynamodb.UpdateContributorInsightsOutput

+ func UpdateContributorInsightsOutput_ToDafny(nativeOutput dynamodb.UpdateContributorInsightsOutput) ComAmazonawsDynamodbTypes.UpdateContributorInsightsOutput

+ func UpdateGlobalTableInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UpdateGlobalTableInput) dynamodb.UpdateGlobalTableInput

+ func UpdateGlobalTableInput_ToDafny(nativeInput dynamodb.UpdateGlobalTableInput) ComAmazonawsDynamodbTypes.UpdateGlobalTableInput

+ func UpdateGlobalTableOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.UpdateGlobalTableOutput) dynamodb.UpdateGlobalTableOutput

+ func UpdateGlobalTableOutput_ToDafny(nativeOutput dynamodb.UpdateGlobalTableOutput) ComAmazonawsDynamodbTypes.UpdateGlobalTableOutput

+ func UpdateGlobalTableSettingsInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UpdateGlobalTableSettingsInput) dynamodb.UpdateGlobalTableSettingsInput

+ func UpdateGlobalTableSettingsInput_ToDafny(nativeInput dynamodb.UpdateGlobalTableSettingsInput) ComAmazonawsDynamodbTypes.UpdateGlobalTableSettingsInput

+ func UpdateGlobalTableSettingsOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.UpdateGlobalTableSettingsOutput) dynamodb.UpdateGlobalTableSettingsOutput

+ func UpdateGlobalTableSettingsOutput_ToDafny(nativeOutput dynamodb.UpdateGlobalTableSettingsOutput) ComAmazonawsDynamodbTypes.UpdateGlobalTableSettingsOutput

+ func UpdateItemInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UpdateItemInput) dynamodb.UpdateItemInput

+ func UpdateItemInput_ToDafny(nativeInput dynamodb.UpdateItemInput) ComAmazonawsDynamodbTypes.UpdateItemInput

+ func UpdateItemOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.UpdateItemOutput) dynamodb.UpdateItemOutput

+ func UpdateItemOutput_ToDafny(nativeOutput dynamodb.UpdateItemOutput) ComAmazonawsDynamodbTypes.UpdateItemOutput

+ func UpdateKinesisStreamingDestinationInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UpdateKinesisStreamingDestinationInput) dynamodb.UpdateKinesisStreamingDestinationInput

+ func UpdateKinesisStreamingDestinationInput_ToDafny(nativeInput dynamodb.UpdateKinesisStreamingDestinationInput) ComAmazonawsDynamodbTypes.UpdateKinesisStreamingDestinationInput

+ func UpdateKinesisStreamingDestinationOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.UpdateKinesisStreamingDestinationOutput) dynamodb.UpdateKinesisStreamingDestinationOutput

+ func UpdateKinesisStreamingDestinationOutput_ToDafny(nativeOutput dynamodb.UpdateKinesisStreamingDestinationOutput) ComAmazonawsDynamodbTypes.UpdateKinesisStreamingDestinationOutput

+ func UpdateTableInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UpdateTableInput) dynamodb.UpdateTableInput

+ func UpdateTableInput_ToDafny(nativeInput dynamodb.UpdateTableInput) ComAmazonawsDynamodbTypes.UpdateTableInput

+ func UpdateTableOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.UpdateTableOutput) dynamodb.UpdateTableOutput

+ func UpdateTableOutput_ToDafny(nativeOutput dynamodb.UpdateTableOutput) ComAmazonawsDynamodbTypes.UpdateTableOutput

+ func UpdateTableReplicaAutoScalingInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UpdateTableReplicaAutoScalingInput) dynamodb.UpdateTableReplicaAutoScalingInput

+ func UpdateTableReplicaAutoScalingInput_ToDafny(nativeInput dynamodb.UpdateTableReplicaAutoScalingInput) ComAmazonawsDynamodbTypes.UpdateTableReplicaAutoScalingInput

+ func UpdateTableReplicaAutoScalingOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.UpdateTableReplicaAutoScalingOutput) dynamodb.UpdateTableReplicaAutoScalingOutput

+ func UpdateTableReplicaAutoScalingOutput_ToDafny(nativeOutput dynamodb.UpdateTableReplicaAutoScalingOutput) ComAmazonawsDynamodbTypes.UpdateTableReplicaAutoScalingOutput

+ func UpdateTimeToLiveInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.UpdateTimeToLiveInput) dynamodb.UpdateTimeToLiveInput

+ func UpdateTimeToLiveInput_ToDafny(nativeInput dynamodb.UpdateTimeToLiveInput) ComAmazonawsDynamodbTypes.UpdateTimeToLiveInput

+ func UpdateTimeToLiveOutput_FromDafny(dafnyOutput ComAmazonawsDynamodbTypes.UpdateTimeToLiveOutput) dynamodb.UpdateTimeToLiveOutput

+ func UpdateTimeToLiveOutput_ToDafny(nativeOutput dynamodb.UpdateTimeToLiveOutput) ComAmazonawsDynamodbTypes.UpdateTimeToLiveOutput