Agda.TypeChecking.Conversion
sameVars
equalTerm
equalAtom
equalArgs
equalType
compareTerm
compareTel
compareAtom
compareArgs
compareType
leqType
Sorts
compareSort
leqSort
leqLevel
equalLevel
equalSort