feat: add 'heck' dependency and refactor module name conversion to use ToUpperCamelCase

Author: Arnaud Riess

Cargo.lock

@@ -9,6 +9,7 @@ members = [
 [workspace.dependencies]
 anyhow = "1"
 clap = { version = "4", features = ["derive"] }
+heck = "0.5"
 wasmparser = "0.227"
 wat = "1.220"
 kani-verifier = "0.57"

Cargo.toml

@@ -14,6 +14,7 @@ categories = ["wasm", "development-tools::build-utils"]
 wasmparser = { workspace = true }
 anyhow = { workspace = true }
 clap = { workspace = true }
+heck = { workspace = true }
 
 [dev-dependencies]
 wat = { workspace = true }

crates/herkos/Cargo.toml

@@ -9,6 +9,7 @@
 use crate::backend::Backend;
 use crate::ir::*;
 use anyhow::{Context, Result};
+use heck::ToUpperCamelCase;
 
 // ─── Helper functions ───────────────────────────────────────────────────────
 
@@ -18,18 +19,7 @@ use anyhow::{Context, Result};
 /// - "env" → "EnvImports"
 /// - "wasi_snapshot_preview1" → "WasiSnapshotPreview1Imports"
 fn module_name_to_trait_name(module_name: &str) -> String {
-    // Convert to PascalCase and append "Imports"
-    let pascal = module_name
-        .split('_')
-        .map(|part| {
-            let mut chars = part.chars();
-            match chars.next() {
-                None => String::new(),
-                Some(first) => first.to_uppercase().chain(chars).collect(),
-            }
-        })
-        .collect::<String>();
-    format!("{pascal}Imports")
+    format!("{}Imports", module_name.to_upper_camel_case())
 }
 
 /// Group function imports by module name.