Void attributes ∅ not higher than other

In XMIR, all void attributes must be placed before non-void attributes.

Incorrect:

<o name="foo">
  <o base="∅" name="x"/>
  <o base="Φ.foo" name="z"/>
  <o base="∅" name="y"/>
</o>

Correct:

<o name="foo">
  <o base="∅" name="x"/>
  <o base="∅" name="y"/>
  <o base="Φ.foo" name="z"/>
</o>

Published on Fri Oct 10 22:54:00 UTC 2025.