Agda.TypeChecking.Rewriting

verifyBuiltinRewrite

data RelView

relView

addRewriteRule

addRewriteRules

updateRewriteRules

rewriteWith

rewrite

Auxiliary functions

class NLPatVars a

rewArity