module HW42 where
import DFA (DFA, isEmpty)
import FST (FST, composeFSTDFA)


-- | test fst dfa:
--   Check that the dfa rejects all strings output by the fst
test :: (Eq st, Eq st1) => FST st -> DFA st1 -> Bool
test fst dfa =
{- define the testing function using isEmpty and composeFSTDFA
   imported from DFA and FST. -}