{-# OPTIONS_GHC -fno-warn-orphans #-}

module Clash.Core.Subst where

import GHC.Stack (HasCallStack)
import {-# SOURCE #-} Clash.Core.Term (Term)
import {-# SOURCE #-} Clash.Core.Type (Type)
import Clash.Core.Var (TyVar)

substTyWith
  :: HasCallStack
  => [TyVar]
  -> [Type]
  -> Type
  -> Type

aeqType
  :: Type
  -> Type
  -> Bool

instance Eq Type
instance Ord Type

acmpTerm :: Term -> Term -> Ordering

instance Eq Term
