• Raphael Rieu-Helft's avatar
    Add a transformation to rewrite several equalities at once · fc53feba
    Raphael Rieu-Helft authored
    When many equalities have to be rewritten, using the existing rewrite transformation repeatedly wastes a lot of time in declaration and task construction.
    The rewrite_list transformation rewrites all equalities first and then builds the new declarations and tasks only once.
apply.ml 28.7 KB