Commit a15786d
[numeric] Order elements correctly (#1070)
This is the analog to ballot comment JP-21, ordering the
Requires/Effects/Returns clauses correctly through clause
26. A couple of re-orderings are deliberately skipped,
due to a dependency in the wording, introducing terms in
the out-of-order elements.1 parent b8e0e09 commit a15786d
1 file changed
+115
-114
lines changed
0 commit comments