Commit bffe152
[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 55af844 commit bffe152
1 file changed
+115
-114
lines changed
0 commit comments