-------------------------------------------------------------------------------------------
--- Generic terms describing constraints, providing parsing and interpretation to AST of your choice
-------------------------------------------------------------------------------------------

module UHC.Util.CHR.GTerm
  ( module UHC.Util.CHR.GTerm.AST
  , module UHC.Util.CHR.GTerm.Parser
  )
  where

import           UHC.Util.CHR.GTerm.AST
import           UHC.Util.CHR.GTerm.Parser