Rule 740.4.a
Costs within instructions are instructions that take a particular form (“[do X] to [do Y]”). [Do X] is the cost associated with the instruction, and [do Y] is the effect.
Loading Arbiter…
Costs within instructions are instructions that take a particular form (“[do X] to [do Y]”). [Do X] is the cost associated with the instruction, and [do Y] is the effect.