~/jendhub

law Bq.unequip_preserves_census

gralha-bendquest@0.1.0.0 · game.bend:874

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

874law Bq.unequip_preserves_census:
875  (@+s_0: Bq.ISlot -> (@+h_1: Bq.Hero -> {Bq.census(Bq.hero_step(Bq.HOp.Unequip{s_0}, h_1)) == Bq.census(h_1) : Bq.Bag}))

Uses (21)

Used by (1)