Rewrite remaining parts of typing module in Rust

Ref. eng/recordflux/RecordFlux#1672
AdaCore · Sep 27, 2024 · f45946a · f45946a
1 parent 11d9924
commit f45946a
Show file tree

Hide file tree

Showing 44 changed files with 2,374 additions and 2,005 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/librapidflux/Cargo.toml b/librapidflux/Cargo.toml
@@ -11,6 +11,7 @@ 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]