aboutsummaryrefslogtreecommitdiffstats
path: root/src/VeriFuzz/Internal.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/VeriFuzz/Internal.hs')
-rw-r--r--src/VeriFuzz/Internal.hs5
1 files changed, 3 insertions, 2 deletions
diff --git a/src/VeriFuzz/Internal.hs b/src/VeriFuzz/Internal.hs
index 9136aba..6a880ee 100644
--- a/src/VeriFuzz/Internal.hs
+++ b/src/VeriFuzz/Internal.hs
@@ -13,12 +13,13 @@ Shared high level code used in the other modules internally.
module VeriFuzz.Internal
( -- * Useful functions
safe
- -- * Circuit modules
+ -- * Module Specific Internals
, module VeriFuzz.Internal.Circuit
- -- * Simulator Internals
, module VeriFuzz.Internal.Simulator
+ , module VeriFuzz.Internal.AST
) where
+import VeriFuzz.Internal.AST
import VeriFuzz.Internal.Circuit
import VeriFuzz.Internal.Simulator