Export nat from Lang.Crucible.Syntax.Concrete (#935)

This export allows `ParserHooks` instances to make use of the parser for natural numbers.
GaloisInc · Dec 3, 2021 · 7af47f2 · 7af47f2
1 parent e611ef3
commit 7af47f2
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/crucible-syntax/src/Lang/Crucible/Syntax/Concrete.hs b/crucible-syntax/src/Lang/Crucible/Syntax/Concrete.hs
@@ -38,6 +38,7 @@ module Lang.Crucible.Syntax.Concrete
   , SyntaxState(..)
   , atomName
   , freshAtom
+  , nat
   , operands
   -- * Rules for pretty-printing language syntax
   , printExpr