add simple container

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "baa"
-version = "0.12.1"
+version = "0.12.2"
 edition = "2021"
 authors = ["Kevin Laeufer <[email protected]>"]
 description = "BitVector and Array Arithmetic"

src/lib.rs

@@ -7,5 +7,12 @@ pub type WidthInt = u32;
 /// Word size for values.
 pub type Word = u64;
 
+/// Wraps either an array or a bit vector value.
+#[derive(Debug, Clone, PartialEq)]
+pub enum Value {
+    Array(ArrayValue),
+    BitVec(BitVecValue),
+}
+
 pub use array::*;
 pub use bv::*;