set_implicit_rewrites

Rewrite.set_implicit_rewrites: rewrites -> unit

Allows the user to control the built-in database of simplifications used in rewriting.

Failure

Never fails.

See also

Rewrite.empty_rewrites, Rewrite.add_rewrites