One operator, as a closed discriminated union — closed for exactly the
reason the module header gives. Every reference is a ShaderNodeId
that must point at an earlier node (id < index), which is what makes
every well-formed graph acyclic by construction and lets a backend emit it
in one forward pass (§33).
One operator, as a closed discriminated union — closed for exactly the reason the module header gives. Every reference is a ShaderNodeId that must point at an earlier node (
id < index), which is what makes every well-formed graph acyclic by construction and lets a backend emit it in one forward pass (§33).