1 2 3 4 5 6 7 8
module VeriFuzz.Types where data Gate = And | Or | Xor | Nor | Nand deriving (Show, Eq, Ord)