law Bq.bag_swap

gralha-bendquest@0.1.0.0 · game.bend:748

import gralha-bendquest@0.1.0.0/game.bend as Game

import Base

748law Bq.bag_swap:
749  (@+x_0: Bq.Bag -> (@+y_1: Bq.Bag -> (@+z_2: Bq.Bag -> {Bq.Bag.add(x_0, Bq.Bag.add(y_1, z_2)) == Bq.Bag.add(y_1, Bq.Bag.add(x_0, z_2)) : Bq.Bag})))

Uses (7)

Used by (7)