law Bq.unequip_shuffle
import gralha-bendquest@0.1.0.0/game.bend as Gameimport Base
850law Bq.unequip_shuffle:
851 (@+i_0: Bq.Bag -> (@+k1_1: Bq.Bag -> (@+r_2: Bq.Bag -> {Bq.Bag.add(Bq.Bag.add(k1_1, i_0), r_2) == Bq.Bag.add(i_0, Bq.Bag.add(k1_1, r_2)) : Bq.Bag})))