From 25e945eddd64dd8e3b8afb825ed383c93d37d4d3 Mon Sep 17 00:00:00 2001
From: Rob Dockins <rdockins@galois.com>
Date: Tue, 15 Mar 2022 14:02:58 -0700
Subject: [PATCH] Expose a few additional operations onm SymSequence.

---
 crucible/src/Lang/Crucible/Simulator/SymSequence.hs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/crucible/src/Lang/Crucible/Simulator/SymSequence.hs b/crucible/src/Lang/Crucible/Simulator/SymSequence.hs
index 6c5a8e52e..f714a7d37 100644
--- a/crucible/src/Lang/Crucible/Simulator/SymSequence.hs
+++ b/crucible/src/Lang/Crucible/Simulator/SymSequence.hs
@@ -24,6 +24,11 @@ module Lang.Crucible.Simulator.SymSequence
 , traverseSymSequence
 , concreteizeSymSequence
 , prettySymSequence
+
+  -- * Low-level evaluation primitives
+, newSeqCache
+, evalWithCache
+, evalWithFreshCache
 ) where
 
 import           Control.Monad.State