law Vitals.finish_hit_fell_dead

gralha-bendquest@0.1.0.0 · vitals.bend:320

import Base

320law Vitals.finish_hit_fell_dead:
321  for +remaining: Nat
322  for +word: U32
323  for +state: Vitals.State
324  for +timer: U32
325  for +fell: {Vitals.fell(Vitals.finish_hit(remaining, word, state, timer)) == True{} : Bool}
326  {Vitals.dead(Vitals.hit_state(Vitals.finish_hit(remaining, word, state, timer))) == 1 : U32}