-------------------------------------------------------------------------------------------
--- Substitution abilities
-------------------------------------------------------------------------------------------

module UHC.Util.Substitutable
  ( module CHR.Data.Substitutable
  )
  where

import CHR.Data.Substitutable