Agda.TypeChecking.Rewriting

verifyBuiltinRewrite

data RelView

relView

addRewriteRule

addRewriteRules

updateRewriteRules

rewriteWith

rewrite