~/jendhub

law Bq.quaff_burns_one_potion

gralha-bendquest@0.1.0.0 · game.bend:970

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

970law Bq.quaff_burns_one_potion:
971  (@+h_0: Bq.Hero -> (@+__1: {Bq.quaff_ok(h_0) == True{} : Bool} -> {Bq.Bag.add(Bq.one(Bq.POTION), Bq.census(Bq.hero_step(Bq.HOp.Quaff{}, h_0))) == Bq.census(h_0) : Bq.Bag}))

Uses (24)

Used by (0)

No other definition uses this definition.