We can currently model operands as exactly 1, 0 or exactly 1, 0 or many. We could have a + quantifier to allow for 1 or more operands rather than having to have 2 entries.
+1 from me. We should take a closer look at this. I've bumped into it a few times already. IIRC I had a brief look at SPIRV-Tools and concluded this was less straightforward to support than expected.
Issue from this note https://github.com/KhronosGroup/SPIRV-Headers/pull/458#discussion_r1812895961
We can currently model operands as exactly 1, 0 or exactly 1, 0 or many. We could have a
+
quantifier to allow for 1 or more operands rather than having to have 2 entries.