diff options
Diffstat (limited to 'src/VeriFuzz/AST.hs')
-rw-r--r-- | src/VeriFuzz/AST.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/VeriFuzz/AST.hs b/src/VeriFuzz/AST.hs index b468c2f..a2ebb32 100644 --- a/src/VeriFuzz/AST.hs +++ b/src/VeriFuzz/AST.hs @@ -112,6 +112,8 @@ module VeriFuzz.AST , modConn , modConnName , modExpr + -- * Useful functions + , positiveArb -- * Useful Lenses and Traversals , getModule , getSourceId |