diff --git a/symbolic/src/Data/Macaw/Symbolic.hs b/symbolic/src/Data/Macaw/Symbolic.hs
index 17df3678..62b267f2 100644
--- a/symbolic/src/Data/Macaw/Symbolic.hs
+++ b/symbolic/src/Data/Macaw/Symbolic.hs
@@ -122,6 +122,10 @@ module Data.Macaw.Symbolic
   , ptrOp
   , isValidPtr
   , mkUndefinedBool
+  , cases
+  , endCase
+  , (~>)
+  , binOpLabel
   , MO.GlobalMap(..)
   , unsupportedFunctionCalls
   , MO.LookupFunctionHandle(..)
diff --git a/symbolic/src/Data/Macaw/Symbolic/MemOps.hs b/symbolic/src/Data/Macaw/Symbolic/MemOps.hs
index cdcfd829..73e541d4 100644
--- a/symbolic/src/Data/Macaw/Symbolic/MemOps.hs
+++ b/symbolic/src/Data/Macaw/Symbolic/MemOps.hs
@@ -44,6 +44,10 @@ module Data.Macaw.Symbolic.MemOps
   , isValidPtr
   , mkUndefinedBool
   , muxMemReprValue
+  , cases
+  , endCase
+  , (~>)
+  , binOpLabel
   ) where
 
 import           Control.Exception (throwIO)