11
11
compareType :: Comparison -> Type -> Type -> TCM ()
12
12
compareTel :: Type -> Type -> Comparison -> Telescope -> Telescope -> TCM ()
13
13
compareSort :: Comparison -> Sort -> Sort -> TCM ()
14
15
equalTerm :: Type -> Term -> Term -> TCM ()
15
16
equalType :: Type -> Type -> TCM ()
16
17
equalSort :: Sort -> Sort -> TCM ()