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