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 Tue Mar 31 07:20:21 UTC 2026.