-------------------------------------------------------------------------------------------
--- Abstract terms describing constraints, interpretation of ATerm apart from term itself
-------------------------------------------------------------------------------------------

module CHR.Language.WithTerm
  ( module CHR.Language.WithTerm.AST
  -- , module CHR.Language.WithTerm.Run
  )
  where

import           CHR.Language.WithTerm.AST
-- import           CHR.Language.WithTerm.Run