diff options
Diffstat (limited to 'src/VeriFuzz/Circuit.hs')
-rw-r--r-- | src/VeriFuzz/Circuit.hs | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/VeriFuzz/Circuit.hs b/src/VeriFuzz/Circuit.hs index 7958f6a..7091fb3 100644 --- a/src/VeriFuzz/Circuit.hs +++ b/src/VeriFuzz/Circuit.hs @@ -10,7 +10,12 @@ Portability : POSIX Definition of the circuit graph. -} -module VeriFuzz.Circuit where +module VeriFuzz.Circuit + ( -- * Circuit + Gate(..) + , Circuit(..) + , CNode(..) + ) where import Data.Graph.Inductive (Gr, LNode) import System.Random |