clash-lib-1.8.0: src/Clash/Core/Subst.hs-boot

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

module Clash.Core.Subst where

import GHC.Stack (HasCallStack)
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