Clean up imports

Signed-off-by: Xudong Sun <[email protected]>

src/kubernetes_api_objects/error.rs

@@ -1,6 +1,5 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
-use deps_hack::kube;
 use vstd::prelude::*;
 
 verus! {

src/kubernetes_api_objects/exec/affinity.rs

@@ -1,11 +1,7 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
-use crate::kubernetes_api_objects::error::UnmarshalError;
-use crate::kubernetes_api_objects::exec::{
-    api_resource::*, dynamic::*, object_meta::*, resource::*,
-};
+use crate::kubernetes_api_objects::exec::resource::*;
 use crate::kubernetes_api_objects::spec::affinity::*;
-use crate::vstd_ext::{string_map::*, string_view::*};
 use vstd::prelude::*;
 
 verus! {

src/kubernetes_api_objects/exec/api_method.rs

@@ -2,12 +2,9 @@
 // SPDX-License-Identifier: MIT
 use crate::kubernetes_api_objects::error::*;
 use crate::kubernetes_api_objects::exec::{api_resource::*, dynamic::*, preconditions::*};
-use crate::kubernetes_api_objects::spec::{
-    api_method::*,
-    common::{Kind, ObjectRef},
-};
-use crate::vstd_ext::{option_lib::*, string_view::*};
-use vstd::{prelude::*, string::*, view::*};
+use crate::kubernetes_api_objects::spec::{api_method::*, common::ObjectRef};
+use crate::vstd_ext::option_lib::*;
+use vstd::prelude::*;
 
 use vstd::pervasive::unreached;
 

src/kubernetes_api_objects/exec/api_resource.rs

@@ -1,6 +1,6 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
-use crate::kubernetes_api_objects::exec::{object_meta::*, resource::*};
+use crate::kubernetes_api_objects::exec::resource::*;
 use crate::kubernetes_api_objects::spec::api_resource::*;
 use vstd::prelude::*;
 

src/kubernetes_api_objects/exec/common.rs

@@ -1,9 +1,7 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
 use crate::kubernetes_api_objects::spec::common::*;
-use crate::vstd_ext::string_view::*;
 use vstd::prelude::*;
-use vstd::string::*;
 
 verus! {
 

src/kubernetes_api_objects/exec/config_map.rs

@@ -5,7 +5,7 @@ use crate::kubernetes_api_objects::exec::{
     api_resource::*, dynamic::*, object_meta::*, resource::*,
 };
 use crate::kubernetes_api_objects::spec::{config_map::*, resource::*};
-use crate::vstd_ext::{string_map::*, string_view::*};
+use crate::vstd_ext::string_map::*;
 use vstd::prelude::*;
 
 verus! {

src/kubernetes_api_objects/exec/container.rs

@@ -1,12 +1,9 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
-use crate::kubernetes_api_objects::error::UnmarshalError;
-use crate::kubernetes_api_objects::exec::{
-    api_resource::*, dynamic::*, resource::*, resource_requirements::*, volume::*,
-};
-use crate::kubernetes_api_objects::spec::{container::*, resource::*};
+use crate::kubernetes_api_objects::exec::{resource_requirements::*, volume::*};
+use crate::kubernetes_api_objects::spec::container::*;
 use crate::vstd_ext::string_view::*;
-use vstd::{prelude::*, seq_lib::*, string::*};
+use vstd::prelude::*;
 
 verus! {
 

src/kubernetes_api_objects/exec/daemon_set.rs

@@ -6,8 +6,7 @@ use crate::kubernetes_api_objects::exec::{
     resource::*,
 };
 use crate::kubernetes_api_objects::spec::{daemon_set::*, resource::*};
-use crate::vstd_ext::{string_map::*, string_view::*};
-use vstd::{prelude::*, seq_lib::*, string::*};
+use vstd::prelude::*;
 
 verus! {
 

src/kubernetes_api_objects/exec/dynamic.rs

@@ -1,9 +1,7 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
-use crate::kubernetes_api_objects::error::UnmarshalError;
-use crate::kubernetes_api_objects::exec::{object_meta::*, owner_reference::*, resource::*};
-use crate::kubernetes_api_objects::spec::{common::*, dynamic::*};
-use crate::vstd_ext::string_view::*;
+use crate::kubernetes_api_objects::exec::{object_meta::*, resource::*};
+use crate::kubernetes_api_objects::spec::dynamic::*;
 use vstd::prelude::*;
 
 verus! {

src/kubernetes_api_objects/exec/label_selector.rs

@@ -1,10 +1,9 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
-use crate::kubernetes_api_objects::error::UnmarshalError;
 use crate::kubernetes_api_objects::exec::resource::*;
 use crate::kubernetes_api_objects::spec::label_selector::*;
-use crate::vstd_ext::{string_map::*, string_view::*};
-use vstd::{prelude::*, string::*};
+use crate::vstd_ext::string_map::*;
+use vstd::prelude::*;
 
 verus! {
 

src/kubernetes_api_objects/exec/object_meta.rs

@@ -1,10 +1,9 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
-use crate::kubernetes_api_objects::error::UnmarshalError;
 use crate::kubernetes_api_objects::exec::{owner_reference::*, resource::*};
 use crate::kubernetes_api_objects::spec::object_meta::*;
 use crate::vstd_ext::{string_map::*, string_view::*};
-use vstd::{prelude::*, string::*};
+use vstd::prelude::*;
 
 verus! {
 

src/kubernetes_api_objects/exec/owner_reference.rs

@@ -1,10 +1,8 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
-use crate::kubernetes_api_objects::error::UnmarshalError;
 use crate::kubernetes_api_objects::exec::resource::*;
 use crate::kubernetes_api_objects::spec::owner_reference::*;
-use crate::vstd_ext::{string_map::*, string_view::*};
-use vstd::{prelude::*, string::*};
+use vstd::prelude::*;
 
 verus! {
 

src/kubernetes_api_objects/exec/persistent_volume_claim.rs

@@ -5,9 +5,7 @@ use crate::kubernetes_api_objects::exec::{
     api_resource::*, dynamic::*, object_meta::*, resource::*, volume_resource_requirements::*,
 };
 use crate::kubernetes_api_objects::spec::{persistent_volume_claim::*, resource::*};
-use crate::vstd_ext::string_view::*;
 use vstd::prelude::*;
-use vstd::seq_lib::*;
 
 verus! {
 

src/kubernetes_api_objects/exec/pod.rs

@@ -3,13 +3,11 @@
 use crate::kubernetes_api_objects::error::UnmarshalError;
 use crate::kubernetes_api_objects::exec::{
     affinity::*, api_resource::*, container::*, dynamic::*, object_meta::*, resource::*,
-    resource_requirements::*, toleration::*, volume::*,
+    toleration::*, volume::*,
 };
 use crate::kubernetes_api_objects::spec::{pod::*, resource::*};
-use crate::vstd_ext::{string_map::*, string_view::*};
+use crate::vstd_ext::string_map::*;
 use vstd::prelude::*;
-use vstd::seq_lib::*;
-use vstd::string::*;
 
 verus! {
 

src/kubernetes_api_objects/exec/pod_template_spec.rs

@@ -1,14 +1,8 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
-use crate::kubernetes_api_objects::error::UnmarshalError;
-use crate::kubernetes_api_objects::exec::{
-    api_resource::*, dynamic::*, object_meta::*, pod::*, resource::*,
-};
+use crate::kubernetes_api_objects::exec::{object_meta::*, pod::*, resource::*};
 use crate::kubernetes_api_objects::spec::pod_template_spec::*;
-use crate::vstd_ext::string_view::*;
 use vstd::prelude::*;
-use vstd::seq_lib::*;
-use vstd::string::*;
 
 verus! {
 

src/kubernetes_api_objects/exec/preconditions.rs

@@ -2,8 +2,7 @@
 // SPDX-License-Identifier: MIT
 use crate::kubernetes_api_objects::exec::{object_meta::*, resource::*};
 use crate::kubernetes_api_objects::spec::preconditions::*;
-use crate::vstd_ext::string_view::*;
-use vstd::{prelude::*, string::*, view::*};
+use vstd::prelude::*;
 
 verus! {
 

src/kubernetes_api_objects/exec/resource_requirements.rs

@@ -1,9 +1,7 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
-use crate::kubernetes_api_objects::exec::resource::*;
-use crate::kubernetes_api_objects::spec::{resource::*, resource_requirements::*};
+use crate::kubernetes_api_objects::spec::resource_requirements::*;
 use crate::vstd_ext::string_map::*;
-use crate::vstd_ext::string_view::*;
 use vstd::prelude::*;
 
 verus! {

src/kubernetes_api_objects/exec/role.rs

@@ -5,8 +5,7 @@ use crate::kubernetes_api_objects::exec::{
     api_resource::*, dynamic::*, object_meta::*, resource::*,
 };
 use crate::kubernetes_api_objects::spec::{resource::*, role::*};
-use crate::vstd_ext::{string_map::StringMap, string_view::StringView};
-use vstd::{prelude::*, seq_lib::*};
+use vstd::prelude::*;
 
 verus! {
 

src/kubernetes_api_objects/exec/role_binding.rs

@@ -5,11 +5,7 @@ use crate::kubernetes_api_objects::exec::{
     api_resource::*, dynamic::*, object_meta::*, resource::*,
 };
 use crate::kubernetes_api_objects::spec::{resource::*, role_binding::*};
-use crate::vstd_ext::string_map::StringMap;
-use crate::vstd_ext::string_view::StringView;
 use vstd::prelude::*;
-use vstd::seq_lib::*;
-use vstd::string::*;
 
 verus! {
 

src/kubernetes_api_objects/exec/secret.rs

@@ -6,7 +6,6 @@ use crate::kubernetes_api_objects::exec::{
 };
 use crate::kubernetes_api_objects::spec::{resource::*, secret::*};
 use crate::vstd_ext::string_map::*;
-use crate::vstd_ext::string_view::*;
 use vstd::prelude::*;
 
 verus! {

src/kubernetes_api_objects/exec/service.rs

@@ -6,9 +6,7 @@ use crate::kubernetes_api_objects::exec::{
 };
 use crate::kubernetes_api_objects::spec::{resource::*, service::*};
 use crate::vstd_ext::string_map::StringMap;
-use crate::vstd_ext::string_view::StringView;
 use vstd::prelude::*;
-use vstd::seq_lib::*;
 
 verus! {
 

src/kubernetes_api_objects/exec/service_account.rs

@@ -5,8 +5,6 @@ use crate::kubernetes_api_objects::exec::{
     api_resource::*, dynamic::*, object_meta::*, resource::*,
 };
 use crate::kubernetes_api_objects::spec::{resource::*, service_account::*};
-use crate::vstd_ext::string_map::*;
-use crate::vstd_ext::string_view::*;
 use vstd::prelude::*;
 
 verus! {

src/kubernetes_api_objects/exec/stateful_set.rs

@@ -6,11 +6,7 @@ use crate::kubernetes_api_objects::exec::{
     pod_template_spec::*, resource::*,
 };
 use crate::kubernetes_api_objects::spec::{resource::*, stateful_set::*};
-use crate::vstd_ext::string_map::*;
-use crate::vstd_ext::string_view::*;
 use vstd::prelude::*;
-use vstd::seq_lib::*;
-use vstd::string::*;
 
 verus! {
 

src/kubernetes_api_objects/exec/toleration.rs

@@ -1,12 +1,7 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
-use crate::kubernetes_api_objects::error::UnmarshalError;
-use crate::kubernetes_api_objects::exec::{
-    api_resource::*, dynamic::*, object_meta::*, resource::*,
-};
+use crate::kubernetes_api_objects::exec::resource::*;
 use crate::kubernetes_api_objects::spec::toleration::*;
-use crate::vstd_ext::string_map::*;
-use crate::vstd_ext::string_view::*;
 use vstd::prelude::*;
 
 verus! {

src/kubernetes_api_objects/exec/volume.rs

@@ -1,12 +1,7 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
-use crate::kubernetes_api_objects::error::UnmarshalError;
-use crate::kubernetes_api_objects::exec::{
-    api_resource::*, dynamic::*, object_meta::*, resource::*,
-};
 use crate::kubernetes_api_objects::spec::volume::*;
-use crate::vstd_ext::string_view::*;
-use vstd::{prelude::*, seq_lib::*, string::*};
+use vstd::prelude::*;
 
 verus! {
 

src/kubernetes_api_objects/exec/volume_resource_requirements.rs

@@ -1,9 +1,7 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
-use crate::kubernetes_api_objects::exec::resource::*;
-use crate::kubernetes_api_objects::spec::{resource::*, volume_resource_requirements::*};
+use crate::kubernetes_api_objects::spec::volume_resource_requirements::*;
 use crate::vstd_ext::string_map::*;
-use crate::vstd_ext::string_view::*;
 use vstd::prelude::*;
 
 verus! {

src/kubernetes_api_objects/spec/api_method.rs

@@ -7,8 +7,7 @@ use crate::kubernetes_api_objects::spec::{
     preconditions::*,
 };
 use crate::vstd_ext::string_view::*;
-use vstd::string::*;
-use vstd::{prelude::*, view::*};
+use vstd::prelude::*;
 
 verus! {
 

src/kubernetes_api_objects/spec/common.rs

@@ -2,7 +2,6 @@
 // SPDX-License-Identifier: MIT
 use crate::vstd_ext::string_view::*;
 use vstd::prelude::*;
-use vstd::string::*;
 
 verus! {
 

src/kubernetes_api_objects/spec/config_map.rs

@@ -2,7 +2,7 @@
 // SPDX-License-Identifier: MIT
 use crate::kubernetes_api_objects::error::*;
 use crate::kubernetes_api_objects::spec::{common::*, dynamic::*, object_meta::*, resource::*};
-use crate::vstd_ext::{string_map::*, string_view::*};
+use crate::vstd_ext::string_view::*;
 use vstd::prelude::*;
 
 verus! {

src/kubernetes_api_objects/spec/container.rs

@@ -1,10 +1,8 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
-use crate::kubernetes_api_objects::spec::{
-    common::*, dynamic::*, resource::*, resource_requirements::*, volume::*,
-};
+use crate::kubernetes_api_objects::spec::{resource_requirements::*, volume::*};
 use crate::vstd_ext::string_view::*;
-use vstd::{prelude::*, string::*};
+use vstd::prelude::*;
 
 verus! {
 

src/kubernetes_api_objects/spec/daemon_set.rs

@@ -4,11 +4,7 @@ use crate::kubernetes_api_objects::error::*;
 use crate::kubernetes_api_objects::spec::{
     common::*, dynamic::*, label_selector::*, object_meta::*, pod_template_spec::*, resource::*,
 };
-use crate::vstd_ext::string_map::*;
-use crate::vstd_ext::string_view::*;
 use vstd::prelude::*;
-use vstd::seq_lib::*;
-use vstd::string::*;
 
 verus! {
 

src/kubernetes_api_objects/spec/dynamic.rs

@@ -1,8 +1,6 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
-use crate::kubernetes_api_objects::spec::{
-    common::*, object_meta::*, owner_reference::*, resource::*,
-};
+use crate::kubernetes_api_objects::spec::{common::*, object_meta::*, resource::*};
 use crate::vstd_ext::string_view::*;
 use vstd::prelude::*;
 

src/kubernetes_api_objects/spec/label_selector.rs

@@ -1,11 +1,7 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
-use crate::kubernetes_api_objects::error::*;
-use crate::kubernetes_api_objects::spec::{common::*, resource::*};
-use crate::vstd_ext::string_map::*;
 use crate::vstd_ext::string_view::*;
 use vstd::prelude::*;
-use vstd::string::*;
 
 verus! {
 

src/kubernetes_api_objects/spec/object_meta.rs

@@ -1,11 +1,8 @@
 // Copyright 2022 VMware, Inc.
 // SPDX-License-Identifier: MIT
-use crate::kubernetes_api_objects::error::*;
-use crate::kubernetes_api_objects::spec::{common::*, owner_reference::*, resource::*};
-use crate::vstd_ext::string_map::*;
+use crate::kubernetes_api_objects::spec::{common::*, owner_reference::*};
 use crate::vstd_ext::string_view::*;
 use vstd::prelude::*;
-use vstd::string::*;
 
 verus! {