Agda.TypeChecking.Rewriting

requireOptionRewriting

verifyBuiltinRewrite

data RelView

relView

addRewriteRule

addRewriteRules

rewriteWith

rewrite

Auxiliary functions

class NLPatVars a

rewArity