module Language.TRM ( 
    module Language.TRM.Base
  , module Language.TRM.Programs
) where

import Language.TRM.Base
import Language.TRM.Programs

import Prelude hiding (compare)