skip printing the import name for MidenAbiImport component import

Author: greenhat

hir/src/component/mod.rs

@@ -83,18 +83,18 @@ impl formatter::PrettyPrint for ComponentImport {
             ComponentImport::MidenAbiImport(import) => import.function_ty.to_string(),
         };
         let name = match self {
-            ComponentImport::CanonAbiImport(import) => import.interface_function.to_string(),
-            ComponentImport::MidenAbiImport(_import) => "()".to_string(),
+            ComponentImport::CanonAbiImport(import) => {
+                format!(" {} ", import.interface_function)
+            }
+            ComponentImport::MidenAbiImport(_import) => "".to_string(),
         };
         let import = match self {
             ComponentImport::CanonAbiImport(_) => const_text("import (abi canon)"),
             ComponentImport::MidenAbiImport(_) => const_text("import (abi miden)"),
         };
         const_text("(")
             + import
-            + const_text(" ")
             + text(name)
-            + const_text(" ")
             + const_text("(")
             + const_text("digest")
             + const_text(" ")

tests/integration/expected/rust_sdk_account_test/miden_sdk_account_test.hir

@@ -1,8 +1,8 @@
 (component 
     ;; Component Imports
-    (lower (import (abi miden) () (digest 0x0000000000000000000000000000000000000000000000000000000000000000) (type (func (param i32) (param i32) (param i32) (param i32) (result i32 i32 i32 i32)))) (#miden:tx_kernel/account #add_asset)
-    (lower (import (abi miden) () (digest 0x0000000000000000000000000000000000000000000000000000000000000000) (type (func (result i32)))) (#miden:tx_kernel/account #get_id)
-    (lower (import (abi miden) () (digest 0x0000000000000000000000000000000000000000000000000000000000000000) (type (func (param i32) (result i32 i32)))) (#miden:tx_kernel/note #get_inputs)
+    (lower (import (abi miden)(digest 0x0000000000000000000000000000000000000000000000000000000000000000) (type (func (param i32) (param i32) (param i32) (param i32) (result i32 i32 i32 i32)))) (#miden:tx_kernel/account #add_asset)
+    (lower (import (abi miden)(digest 0x0000000000000000000000000000000000000000000000000000000000000000) (type (func (result i32)))) (#miden:tx_kernel/account #get_id)
+    (lower (import (abi miden)(digest 0x0000000000000000000000000000000000000000000000000000000000000000) (type (func (param i32) (result i32 i32)))) (#miden:tx_kernel/note #get_inputs)
 
     ;; Modules
     (module #miden_sdk_account_test.wasm