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