Agda.TypeChecking.Rewriting
verifyBuiltinRewrite
data RelView
relView
addRewriteRule
addRewriteRules
updateRewriteRules
rewriteWith
rewrite
class NLPatVars a
rewArity