Agda.TypeChecking.Conversion

sameVars

equalTerm

equalAtom

equalArgs

equalType

compareTerm

compareTel

compareAtom

compareArgs

compareType

leqType

Sorts

compareSort

leqSort

leqLevel

equalLevel

equalSort