[freezed] reorder accumulates as allowed by Elpi 3.7#590

gares wants to merge 1 commit into

mastermath-comp/hierarchy-builder:masterfrom

hierarchy-builder.elpi-3.7math-comp/hierarchy-builder:hierarchy-builder.elpi-3.7Copy head branch name to clipboard