Branching → Arithmetic
The Rust match picks one branch. The algebraic version computes all branches, multiplied by selectors, so only the matching term survives.
Opcode
Input Values
Rust Match (branching)
Algebraic (selectors)