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 Sep 12 07:13:57 UTC 2025.