logic-classes-1.4.2: Data/Logic/Tests/Harrison/Common.hs

{-# LANGUAGE FlexibleInstances, StandaloneDeriving #-}
module Data.Logic.Tests.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)