Agda-2.3.2.2: src/prototyping/termrep/Types/Equality.hs

module Types.Equality where

import Types.Monad

eqType :: TermRep r => Type r -> Type r -> TC r (Constraints r)
eqType a b = error "todo: eqType"