clash-lib-0.2: src/CLaSH/Core/Term.hs-boot

{-# 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