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.
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
set_implicit_rewritesRewrite.set_implicit_rewrites: rewrites -> unit
Allows the user to control the built-in database of simplifications used in rewriting.
Never fails.