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

module CHR.Language.GTerm
  ( module CHR.Language.GTerm.AST
  , module CHR.Language.GTerm.Parser
  )
  where

import           CHR.Language.GTerm.AST
import           CHR.Language.GTerm.Parser