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