law Bq.equip_shuffle

gralha-bendquest@0.1.0.0 · game.bend:830

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

import Base

830law Bq.equip_shuffle:
831  (@+i_0: Bq.Bag -> (@+k1_1: Bq.Bag -> (@+r_2: Bq.Bag -> (@+has_3: {Bq.Bag.le(k1_1, i_0) == True{} : Bool} -> {Bq.Bag.add(Bq.Bag.sub(i_0, k1_1), Bq.Bag.add(k1_1, r_2)) == Bq.Bag.add(i_0, r_2) : Bq.Bag}))))

Uses (11)

Used by (2)