Regenerate more models

smithy-lang · Oct 9, 2024 · cf35cbe · cf35cbe
1 parent ead1517
commit cf35cbe
Show file tree

Hide file tree

Showing 302 changed files with 10,389 additions and 586 deletions.
diff --git a/TestModels/aws-sdks/ddb-lite/runtimes/rust/src/client.rs b/TestModels/aws-sdks/ddb-lite/runtimes/rust/src/client.rs
diff --git a/TestModels/aws-sdks/ddb-lite/runtimes/rust/src/conversions/attribute_value.rs b/TestModels/aws-sdks/ddb-lite/runtimes/rust/src/conversions/attribute_value.rs
@@ -45,15 +45,15 @@ aws_sdk_dynamodb::types::AttributeValue::M(x) =>
  crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::AttributeValue::M {
  M: ::dafny_runtime::dafny_runtime_conversions::hashmap_to_dafny_map(&x.clone(),
  |k| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::string_to_dafny_string(&k),
- |v| crate::conversions::attribute_value::to_dafny(&v)
+ |v| crate::conversions::attribute_value::to_dafny(v)
 ,
 )
 ,
  },
 aws_sdk_dynamodb::types::AttributeValue::L(x) =>
  crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::AttributeValue::L {
  L: ::dafny_runtime::dafny_runtime_conversions::vec_to_dafny_sequence(&x,
- |e| crate::conversions::attribute_value::to_dafny(&e)
+ |e| crate::conversions::attribute_value::to_dafny(e)
 ,
 )
 ,
@@ -89,33 +89,33 @@ crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::type
 crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::AttributeValue::SS {
  SS: x @ _,
 } => aws_sdk_dynamodb::types::AttributeValue::Ss(::dafny_runtime::dafny_runtime_conversions::dafny_sequence_to_vec(x,
- |e| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::dafny_string_to_string(e),
+ |e: &::dafny_runtime::dafny_runtime_conversions::DafnySequence<::dafny_runtime::dafny_runtime_conversions::DafnyCharUTF16>| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::dafny_string_to_string(e),
 )
 ),
 crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::AttributeValue::NS {
  NS: x @ _,
 } => aws_sdk_dynamodb::types::AttributeValue::Ns(::dafny_runtime::dafny_runtime_conversions::dafny_sequence_to_vec(x,
- |e| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::dafny_string_to_string(e),
+ |e: &::dafny_runtime::dafny_runtime_conversions::DafnySequence<::dafny_runtime::dafny_runtime_conversions::DafnyCharUTF16>| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::dafny_string_to_string(e),
 )
 ),
 crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::AttributeValue::BS {
  BS: x @ _,
 } => aws_sdk_dynamodb::types::AttributeValue::Bs(::dafny_runtime::dafny_runtime_conversions::dafny_sequence_to_vec(x,
- |e| crate::standard_library_conversions::blob_from_dafny(e.clone()),
+ |e: &::dafny_runtime::dafny_runtime_conversions::DafnySequence<u8>| crate::standard_library_conversions::blob_from_dafny(e.clone()),
 )
 ),
 crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::AttributeValue::M {
  M: x @ _,
 } => aws_sdk_dynamodb::types::AttributeValue::M(::dafny_runtime::dafny_runtime_conversions::dafny_map_to_hashmap(&x,
- |k| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::dafny_string_to_string(k),
- |v| crate::conversions::attribute_value::from_dafny(v.clone())
+ |k: &::dafny_runtime::dafny_runtime_conversions::DafnySequence<::dafny_runtime::dafny_runtime_conversions::DafnyCharUTF16>| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::dafny_string_to_string(k),
+ |v: &::std::rc::Rc<crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::AttributeValue>| crate::conversions::attribute_value::from_dafny(v.clone())
 ,
 )
 ),
 crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::AttributeValue::L {
  L: x @ _,
 } => aws_sdk_dynamodb::types::AttributeValue::L(::dafny_runtime::dafny_runtime_conversions::dafny_sequence_to_vec(x,
- |e| crate::conversions::attribute_value::from_dafny(e.clone())
+ |e: &::std::rc::Rc<crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::AttributeValue>| crate::conversions::attribute_value::from_dafny(e.clone())
 ,
 )
 ),

diff --git a/TestModels/aws-sdks/ddb-lite/runtimes/rust/src/conversions/attribute_value_update.rs b/TestModels/aws-sdks/ddb-lite/runtimes/rust/src/conversions/attribute_value_update.rs
@@ -8,7 +8,7 @@ pub fn to_dafny(
  ::std::rc::Rc::new(
  crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::AttributeValueUpdate::AttributeValueUpdate {
  Value: ::std::rc::Rc::new(match &value.value {
- Some(x) => crate::_Wrappers_Compile::Option::Some { value: crate::conversions::attribute_value::to_dafny(&x) },
+ Some(x) => crate::_Wrappers_Compile::Option::Some { value: crate::conversions::attribute_value::to_dafny(x) },
  None => crate::_Wrappers_Compile::Option::None { }
 })
 ,

diff --git a/TestModels/aws-sdks/ddb-lite/runtimes/rust/src/conversions/batch_execute_statement.rs b/TestModels/aws-sdks/ddb-lite/runtimes/rust/src/conversions/batch_execute_statement.rs
@@ -1,10 +1,7 @@
 // Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: Apache-2.0
 // Do not modify this file. This file is machine generated, and any changes to it will be overwritten.
-pub mod _batch_execute_statement_request;
-
- pub mod _batch_execute_statement_response;
- #[allow(dead_code)]
+#[allow(dead_code)]
 pub fn to_dafny_error(
  value: &::aws_smithy_runtime_api::client::result::SdkError<
  aws_sdk_dynamodb::operation::batch_execute_statement::BatchExecuteStatementError,
@@ -24,3 +21,7 @@ pub fn to_dafny_error(
  }
  }
 }
+
+ pub mod _batch_execute_statement_request;
+
+ pub mod _batch_execute_statement_response;
diff --git a/...runtimes/rust/src/conversions/batch_execute_statement/_batch_execute_statement_request.rs b/...runtimes/rust/src/conversions/batch_execute_statement/_batch_execute_statement_request.rs
@@ -9,7 +9,7 @@ pub fn to_dafny(
 >{
  ::std::rc::Rc::new(crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::BatchExecuteStatementInput::BatchExecuteStatementInput {
  Statements: ::dafny_runtime::dafny_runtime_conversions::vec_to_dafny_sequence(&value.statements.clone().unwrap(),
- |e| crate::conversions::batch_statement_request::to_dafny(&e)
+ |e| crate::conversions::batch_statement_request::to_dafny(e)
 ,
 )
 ,
@@ -24,12 +24,11 @@ pub fn to_dafny(
 pub fn from_dafny(
  dafny_value: ::std::rc::Rc<
  crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::BatchExecuteStatementInput,
- >,
- client: aws_sdk_dynamodb::Client,
-) -> aws_sdk_dynamodb::operation::batch_execute_statement::builders::BatchExecuteStatementFluentBuilder {
- client.batch_execute_statement()
+ >
+) -> aws_sdk_dynamodb::operation::batch_execute_statement::BatchExecuteStatementInput {
+ aws_sdk_dynamodb::operation::batch_execute_statement::BatchExecuteStatementInput::builder()
  .set_statements(Some( ::dafny_runtime::dafny_runtime_conversions::dafny_sequence_to_vec(dafny_value.Statements(),
- |e| crate::conversions::batch_statement_request::from_dafny(e.clone())
+ |e: &::std::rc::Rc<crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::BatchStatementRequest>| crate::conversions::batch_statement_request::from_dafny(e.clone())
 ,
 )
  ))
@@ -40,4 +39,6 @@ pub fn from_dafny(
  _ => None,
 }
 )
+ .build()
+ .unwrap()
 }
diff --git a/...untimes/rust/src/conversions/batch_execute_statement/_batch_execute_statement_response.rs b/...untimes/rust/src/conversions/batch_execute_statement/_batch_execute_statement_response.rs
@@ -11,7 +11,7 @@ pub fn to_dafny(
  Responses: ::std::rc::Rc::new(match &value.responses {
  Some(x) => crate::r#_Wrappers_Compile::Option::Some { value :
  ::dafny_runtime::dafny_runtime_conversions::vec_to_dafny_sequence(x,
- |e| crate::conversions::batch_statement_response::to_dafny(&e)
+ |e| crate::conversions::batch_statement_response::to_dafny(e)
 ,
  )
  },
@@ -21,7 +21,7 @@ pub fn to_dafny(
  ConsumedCapacity: ::std::rc::Rc::new(match &value.consumed_capacity {
  Some(x) => crate::r#_Wrappers_Compile::Option::Some { value :
  ::dafny_runtime::dafny_runtime_conversions::vec_to_dafny_sequence(x,
- |e| crate::conversions::consumed_capacity::to_dafny(&e)
+ |e| crate::conversions::consumed_capacity::to_dafny(e)
 ,
  )
  },
@@ -30,4 +30,36 @@ pub fn to_dafny(
 ,
  })
 }
-
+ #[allow(dead_code)]
+pub fn from_dafny(
+ dafny_value: ::std::rc::Rc<
+ crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::BatchExecuteStatementOutput,
+ >
+) -> aws_sdk_dynamodb::operation::batch_execute_statement::BatchExecuteStatementOutput {
+ aws_sdk_dynamodb::operation::batch_execute_statement::BatchExecuteStatementOutput::builder()
+ .set_responses(match (*dafny_value.Responses()).as_ref() {
+ crate::r#_Wrappers_Compile::Option::Some { value } =>
+ Some(
+ ::dafny_runtime::dafny_runtime_conversions::dafny_sequence_to_vec(value,
+ |e: &::std::rc::Rc<crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::BatchStatementResponse>| crate::conversions::batch_statement_response::from_dafny(e.clone())
+,
+ )
+ ),
+ _ => None
+}
+)
+ .set_consumed_capacity(match (*dafny_value.ConsumedCapacity()).as_ref() {
+ crate::r#_Wrappers_Compile::Option::Some { value } =>
+ Some(
+ ::dafny_runtime::dafny_runtime_conversions::dafny_sequence_to_vec(value,
+ |e: &::std::rc::Rc<crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::ConsumedCapacity>| crate::conversions::consumed_capacity::from_dafny(e.clone())
+,
+ )
+ ),
+ _ => None
+}
+)
+ .build()
+
+
+}
diff --git a/TestModels/aws-sdks/ddb-lite/runtimes/rust/src/conversions/batch_get_item.rs b/TestModels/aws-sdks/ddb-lite/runtimes/rust/src/conversions/batch_get_item.rs
@@ -1,10 +1,7 @@
 // Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: Apache-2.0
 // Do not modify this file. This file is machine generated, and any changes to it will be overwritten.
-pub mod _batch_get_item_request;
-
- pub mod _batch_get_item_response;
- #[allow(dead_code)]
+#[allow(dead_code)]
 pub fn to_dafny_error(
  value: &::aws_smithy_runtime_api::client::result::SdkError<
  aws_sdk_dynamodb::operation::batch_get_item::BatchGetItemError,
@@ -30,3 +27,7 @@ pub fn to_dafny_error(
  }
  }
 }
+
+ pub mod _batch_get_item_request;
+
+ pub mod _batch_get_item_response;
diff --git a/...aws-sdks/ddb-lite/runtimes/rust/src/conversions/batch_get_item/_batch_get_item_request.rs b/...aws-sdks/ddb-lite/runtimes/rust/src/conversions/batch_get_item/_batch_get_item_request.rs
@@ -10,7 +10,7 @@ pub fn to_dafny(
  ::std::rc::Rc::new(crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::BatchGetItemInput::BatchGetItemInput {
  RequestItems: ::dafny_runtime::dafny_runtime_conversions::hashmap_to_dafny_map(&value.request_items.clone().unwrap(),
  |k| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::string_to_dafny_string(&k),
- |v| crate::conversions::keys_and_attributes::to_dafny(&v)
+ |v| crate::conversions::keys_and_attributes::to_dafny(v)
 ,
 )
 ,
@@ -25,13 +25,12 @@ pub fn to_dafny(
 pub fn from_dafny(
  dafny_value: ::std::rc::Rc<
  crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::BatchGetItemInput,
- >,
- client: aws_sdk_dynamodb::Client,
-) -> aws_sdk_dynamodb::operation::batch_get_item::builders::BatchGetItemFluentBuilder {
- client.batch_get_item()
+ >
+) -> aws_sdk_dynamodb::operation::batch_get_item::BatchGetItemInput {
+ aws_sdk_dynamodb::operation::batch_get_item::BatchGetItemInput::builder()
  .set_request_items(Some( ::dafny_runtime::dafny_runtime_conversions::dafny_map_to_hashmap(&dafny_value.RequestItems(),
- |k| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::dafny_string_to_string(k),
- |v| crate::conversions::keys_and_attributes::from_dafny(v.clone())
+ |k: &::dafny_runtime::dafny_runtime_conversions::DafnySequence<::dafny_runtime::dafny_runtime_conversions::DafnyCharUTF16>| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::dafny_string_to_string(k),
+ |v: &::std::rc::Rc<crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::KeysAndAttributes>| crate::conversions::keys_and_attributes::from_dafny(v.clone())
 ,
 )
  ))
@@ -42,4 +41,6 @@ pub fn from_dafny(
  _ => None,
 }
 )
+ .build()
+ .unwrap()
 }
diff --git a/...ws-sdks/ddb-lite/runtimes/rust/src/conversions/batch_get_item/_batch_get_item_response.rs b/...ws-sdks/ddb-lite/runtimes/rust/src/conversions/batch_get_item/_batch_get_item_response.rs
@@ -16,7 +16,7 @@ pub fn to_dafny(
  |v| ::dafny_runtime::dafny_runtime_conversions::vec_to_dafny_sequence(&v,
  |e| ::dafny_runtime::dafny_runtime_conversions::hashmap_to_dafny_map(&e.clone(),
  |k| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::string_to_dafny_string(&k),
- |v| crate::conversions::attribute_value::to_dafny(&v)
+ |v| crate::conversions::attribute_value::to_dafny(v)
 ,
 )
 ,
@@ -32,7 +32,7 @@ pub fn to_dafny(
  Some(x) => crate::r#_Wrappers_Compile::Option::Some { value :
  ::dafny_runtime::dafny_runtime_conversions::hashmap_to_dafny_map(x,
  |k| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::string_to_dafny_string(&k),
- |v| crate::conversions::keys_and_attributes::to_dafny(&v)
+ |v| crate::conversions::keys_and_attributes::to_dafny(v)
 ,
  )
  },
@@ -42,7 +42,7 @@ pub fn to_dafny(
  ConsumedCapacity: ::std::rc::Rc::new(match &value.consumed_capacity {
  Some(x) => crate::r#_Wrappers_Compile::Option::Some { value :
  ::dafny_runtime::dafny_runtime_conversions::vec_to_dafny_sequence(x,
- |e| crate::conversions::consumed_capacity::to_dafny(&e)
+ |e| crate::conversions::consumed_capacity::to_dafny(e)
 ,
  )
  },
@@ -51,4 +51,56 @@ pub fn to_dafny(
 ,
  })
 }
-
+ #[allow(dead_code)]
+pub fn from_dafny(
+ dafny_value: ::std::rc::Rc<
+ crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::BatchGetItemOutput,
+ >
+) -> aws_sdk_dynamodb::operation::batch_get_item::BatchGetItemOutput {
+ aws_sdk_dynamodb::operation::batch_get_item::BatchGetItemOutput::builder()
+ .set_responses(match (*dafny_value.Responses()).as_ref() {
+ crate::r#_Wrappers_Compile::Option::Some { value } =>
+ Some(
+ ::dafny_runtime::dafny_runtime_conversions::dafny_map_to_hashmap(value,
+ |k: &::dafny_runtime::dafny_runtime_conversions::DafnySequence<::dafny_runtime::dafny_runtime_conversions::DafnyCharUTF16>| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::dafny_string_to_string(k),
+ |v: &::dafny_runtime::dafny_runtime_conversions::DafnySequence<::dafny_runtime::dafny_runtime_conversions::DafnyMap<::dafny_runtime::dafny_runtime_conversions::DafnySequence<::dafny_runtime::dafny_runtime_conversions::DafnyCharUTF16>, ::std::rc::Rc<crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::AttributeValue>>>| ::dafny_runtime::dafny_runtime_conversions::dafny_sequence_to_vec(v,
+ |e: &::dafny_runtime::dafny_runtime_conversions::DafnyMap<::dafny_runtime::dafny_runtime_conversions::DafnySequence<::dafny_runtime::dafny_runtime_conversions::DafnyCharUTF16>, ::std::rc::Rc<crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::AttributeValue>>| ::dafny_runtime::dafny_runtime_conversions::dafny_map_to_hashmap(&e,
+ |k: &::dafny_runtime::dafny_runtime_conversions::DafnySequence<::dafny_runtime::dafny_runtime_conversions::DafnyCharUTF16>| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::dafny_string_to_string(k),
+ |v: &::std::rc::Rc<crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::AttributeValue>| crate::conversions::attribute_value::from_dafny(v.clone())
+,
+)
+,
+)
+,
+ )
+ ),
+ _ => None
+}
+)
+ .set_unprocessed_keys(match (*dafny_value.UnprocessedKeys()).as_ref() {
+ crate::r#_Wrappers_Compile::Option::Some { value } =>
+ Some(
+ ::dafny_runtime::dafny_runtime_conversions::dafny_map_to_hashmap(value,
+ |k: &::dafny_runtime::dafny_runtime_conversions::DafnySequence<::dafny_runtime::dafny_runtime_conversions::DafnyCharUTF16>| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::dafny_string_to_string(k),
+ |v: &::std::rc::Rc<crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::KeysAndAttributes>| crate::conversions::keys_and_attributes::from_dafny(v.clone())
+,
+ )
+ ),
+ _ => None
+}
+)
+ .set_consumed_capacity(match (*dafny_value.ConsumedCapacity()).as_ref() {
+ crate::r#_Wrappers_Compile::Option::Some { value } =>
+ Some(
+ ::dafny_runtime::dafny_runtime_conversions::dafny_sequence_to_vec(value,
+ |e: &::std::rc::Rc<crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::ConsumedCapacity>| crate::conversions::consumed_capacity::from_dafny(e.clone())
+,
+ )
+ ),
+ _ => None
+}
+)
+ .build()
+
+
+}
diff --git a/TestModels/aws-sdks/ddb-lite/runtimes/rust/src/conversions/batch_statement_request.rs b/TestModels/aws-sdks/ddb-lite/runtimes/rust/src/conversions/batch_statement_request.rs
@@ -11,7 +11,7 @@ pub fn to_dafny(
  Parameters: ::std::rc::Rc::new(match &value.parameters {
  Some(x) => crate::r#_Wrappers_Compile::Option::Some { value :
  ::dafny_runtime::dafny_runtime_conversions::vec_to_dafny_sequence(x,
- |e| crate::conversions::attribute_value::to_dafny(&e)
+ |e| crate::conversions::attribute_value::to_dafny(e)
 ,
  )
  },
@@ -33,7 +33,7 @@ pub fn from_dafny(
  crate::r#_Wrappers_Compile::Option::Some { value } =>
  Some(
  ::dafny_runtime::dafny_runtime_conversions::dafny_sequence_to_vec(value,
- |e| crate::conversions::attribute_value::from_dafny(e.clone())
+ |e: &::std::rc::Rc<crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::AttributeValue>| crate::conversions::attribute_value::from_dafny(e.clone())
 ,
  )
  ),

diff --git a/TestModels/aws-sdks/ddb-lite/runtimes/rust/src/conversions/batch_statement_response.rs b/TestModels/aws-sdks/ddb-lite/runtimes/rust/src/conversions/batch_statement_response.rs
@@ -8,7 +8,7 @@ pub fn to_dafny(
  ::std::rc::Rc::new(
  crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::BatchStatementResponse::BatchStatementResponse {
  Error: ::std::rc::Rc::new(match &value.error {
- Some(x) => crate::_Wrappers_Compile::Option::Some { value: crate::conversions::batch_statement_error::to_dafny(&x) },
+ Some(x) => crate::_Wrappers_Compile::Option::Some { value: crate::conversions::batch_statement_error::to_dafny(x) },
  None => crate::_Wrappers_Compile::Option::None { }
 })
 ,
@@ -18,7 +18,7 @@ pub fn to_dafny(
  Some(x) => crate::r#_Wrappers_Compile::Option::Some { value :
  ::dafny_runtime::dafny_runtime_conversions::hashmap_to_dafny_map(x,
  |k| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::string_to_dafny_string(&k),
- |v| crate::conversions::attribute_value::to_dafny(&v)
+ |v| crate::conversions::attribute_value::to_dafny(v)
 ,
  )
  },
@@ -45,8 +45,8 @@ pub fn from_dafny(
  crate::r#_Wrappers_Compile::Option::Some { value } =>
  Some(
  ::dafny_runtime::dafny_runtime_conversions::dafny_map_to_hashmap(value,
- |k| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::dafny_string_to_string(k),
- |v| crate::conversions::attribute_value::from_dafny(v.clone())
+ |k: &::dafny_runtime::dafny_runtime_conversions::DafnySequence<::dafny_runtime::dafny_runtime_conversions::DafnyCharUTF16>| dafny_runtime::dafny_runtime_conversions::unicode_chars_false::dafny_string_to_string(k),
+ |v: &::std::rc::Rc<crate::r#software::amazon::cryptography::services::dynamodb::internaldafny::types::AttributeValue>| crate::conversions::attribute_value::from_dafny(v.clone())
 ,
  )
  ),

diff --git a/TestModels/aws-sdks/ddb-lite/runtimes/rust/src/conversions/batch_write_item.rs b/TestModels/aws-sdks/ddb-lite/runtimes/rust/src/conversions/batch_write_item.rs
@@ -1,10 +1,7 @@
 // Copyright Amazon.com Inc. or its affiliates. All Rights Reserved.
 // SPDX-License-Identifier: Apache-2.0
 // Do not modify this file. This file is machine generated, and any changes to it will be overwritten.
-pub mod _batch_write_item_request;
-
- pub mod _batch_write_item_response;
- #[allow(dead_code)]
+#[allow(dead_code)]
 pub fn to_dafny_error(
  value: &::aws_smithy_runtime_api::client::result::SdkError<
  aws_sdk_dynamodb::operation::batch_write_item::BatchWriteItemError,
@@ -32,3 +29,7 @@ pub fn to_dafny_error(
  }
  }
 }
+
+ pub mod _batch_write_item_request;
+
+ pub mod _batch_write_item_response;