logic-classes-1.7.1: Tests/Harrison/Common.hs

{-# LANGUAGE FlexibleInstances, StandaloneDeriving #-}
module Harrison.Common where

import Data.Logic.Types.Harrison.Equal (FOLEQ(..))
import Data.Logic.Types.Harrison.Formulas.FirstOrder (Formula(..))

deriving instance Show FOLEQ
deriving instance Show (Formula FOLEQ)