{-# LANGUAGE MultiParamTypeClasses #-} module CLaSH.Core.Term where import Unbound.LocallyNameless data Term type TmName = Name Term instance Rep Term instance Show Term instance Alpha Term instance Subst Term Term