-- AnalyzerCondition.hs ---
--
-- Filename: AnalyzerCondition.hs
-- Description:
-- Author: Manuel Schneckenreither
-- Maintainer:
-- Created: Mon Oct  6 23:22:48 2014 (+0200)
-- Version:
-- Package-Requires: ()
-- Last-Updated: Tue Apr 11 14:34:09 2017 (+0200)
--           By: Manuel Schneckenreither
--     Update #: 7
-- URL:
-- Doc URL:
-- Keywords:
-- Compatibility:
--
--

-- Commentary:
--
--
--
--

-- Change Log:
--
--
--
--
--
--
--

-- Code:

-- | TODO: comment this module
module Data.Rewriting.ARA.ByInferenceRules.AnalyzerCondition
    ( module Data.Rewriting.ARA.ByInferenceRules.AnalyzerCondition.Type
    , module Data.Rewriting.ARA.ByInferenceRules.AnalyzerCondition.Pretty
    )
    where


import           Data.Rewriting.ARA.ByInferenceRules.AnalyzerCondition.Pretty
import           Data.Rewriting.ARA.ByInferenceRules.AnalyzerCondition.Type

--
-- AnalyzerCondition.hs ends here
