Unifall flag? #17565
Labels
kind: wish
Feature or enhancement requests.
part: apply
The tactics apply, eapply, etc.
part: tactics
part: unification
The unification mechanism.
Projects
Would it be possible to get a flag that makes
apply
,rewrite
, etc use the "new" (refine
) unification rather than the legacy one? As I understand it, actually swapping to the new unification everywhere is a slow progress with regard to compatibility, but in cases where the new engine behaves better, it would be nice to be able to take advantage of it.The text was updated successfully, but these errors were encountered: