aboutsummaryrefslogtreecommitdiffstats
path: root/src/Test/VeriFuzz/Types.hs
blob: 9c0de178ab4f06b4aaa6167949561da98d7f81ad (plain)
1
2
3
4
5
6
7
8
module VeriFuzz.Types where

data Gate = And
          | Or
          | Xor
          | Nor
          | Nand
          deriving (Show, Eq, Ord)