1\DOC
2
3\TYPE {set_implicit_rewrites: rewrites -> unit}
4
5\SYNOPSIS
6Allows the user to control the built-in database of simplifications used
7in rewriting.
8
9\FAILURE
10Never fails.
11
12\SEEALSO
13Rewrite.empty_rewrites, Rewrite.add_rewrites.
14
15\ENDDOC
16