law Vitals.lethal_hit_reports_death

gralha-bendquest@0.1.0.0 · vitals.bend:354

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

354law Vitals.lethal_hit_reports_death:
355  for +state: Vitals.State
356  for +damage: U32
357  for +timer: U32
358  for +lethal: {G.Bq.Nat.le(U32.to_nat(Vitals.hp(state)), U32.to_nat(damage)) == True{} : Bool}
359  {Vitals.fell(Vitals.hit_gate(False{}, state, damage, timer)) == True{} : Bool}