Agda.TypeChecking.Rewriting
verifyBuiltinRewrite
data RelView
relView
addRewriteRule
addRewriteRules
updateRewriteRules
rewriteWith
rewrite