empty_rewrites
Rewrite.empty_rewrites: rewrites
The empty database of rewrite rules.
Used to build other rewrite sets.
See also
Rewrite.bool_rewrites,
Rewrite.implicit_rewrites,
Rewrite.add_rewrites,
Rewrite.add_implicit_rewrites,
Rewrite.set_implicit_rewrites