~/jendhub

law Bq.transfers_preserve_census

gralha-bendquest@0.1.0.0 · game.bend:920

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

920law Bq.transfers_preserve_census:
921  (@+ops_0: List<&2, Bq.HOp> -> (@+__1: {Bq.transfers(ops_0) == True{} : Bool} -> (@+h_2: Bq.Hero -> {Bq.census(Bq.hero_run(ops_0, h_2)) == Bq.census(h_2) : Bq.Bag})))

Uses (24)

Used by (0)

No other definition uses this definition.