module Test where

import Prelude

import Control.Category ((>>>))

import Circuit
import Circuit.Arrow
import Circuit.IEEE_STD_LOGIC_1164

aBlub :: (Arrow a) => Grid a (Bool, Bool) Bool
aBlub = aXor >>> aNot