typelevel-rewrite-rules-1.0: src/TypeLevel/Rewrite/Internal/TypeSubst.hs

module TypeLevel.Rewrite.Internal.TypeSubst where

import TypeLevel.Rewrite.Internal.TypeEq
import TypeLevel.Rewrite.Internal.TypeTerm


type TypeSubst = [(TypeEq, TypeTerm)]