Revert "Rewrite remaining parts of typing module in Rust"

This reverts commit 479afc9. Ref. eng/recordflux/RecordFlux#1672, eng/recordflux/RecordFlux#1801
AdaCore · Sep 23, 2024 · 11d9924 · 11d9924
1 parent ddb690d
commit 11d9924
Show file tree

Hide file tree

Showing 44 changed files with 2,005 additions and 2,374 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/librapidflux/Cargo.toml b/librapidflux/Cargo.toml
@@ -11,7 +11,6 @@ indexmap = { workspace = true, features = ["serde"] }
 lazy_static = { workspace = true }
 owo-colors = "4.0.0"
 serde = { workspace = true }
-strum = { version = "0.26.3", features = ["derive"] }
 thiserror = "1.0.61"
 
 [dev-dependencies]