From 2debb3d33abc2ba3c8fe3d384e1bc2c824386625 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Kevin=20L=C3=A4ufer?= <laeufer@cornell.edu>
Date: Fri, 18 Oct 2024 13:46:13 -0400
Subject: [PATCH] add simple container

---
 Cargo.toml | 2 +-
 src/lib.rs | 7 +++++++
 2 files changed, 8 insertions(+), 1 deletion(-)

diff --git a/Cargo.toml b/Cargo.toml
index 4847035..bfb57fb 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "baa"
-version = "0.12.1"
+version = "0.12.2"
 edition = "2021"
 authors = ["Kevin Laeufer <laeufer@cornell.edu>"]
 description = "BitVector and Array Arithmetic"
diff --git a/src/lib.rs b/src/lib.rs
index e212fb0..626c659 100644
--- a/src/lib.rs
+++ b/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::*;