Vitals.Vitals.finish_hit: def of gralha-bendquest@0.1.0.0
Import: import gralha-bendquest@0.1.0.0/vitals.bend as Vitals
Lines 67-74 of gralha-bendquest@0.1.0.0/vitals.bend: https://jend.leeeet.dev/read.txt?path=gralha-bendquest@0.1.0.0/vitals.bend&start_line=67&end_line=74

import Base

def Vitals.finish_hit(remaining: Nat, word: U32, state: Vitals.State, timer: U32) -> Vitals.Hit:
  match remaining:
    case Zero{}:
      Vitals.Hit{Vitals.fall(state, timer), True{}}
    case Succ{positive}:
      match state:
        case Vitals.State{hp, xp, dead, respawn, attack, spin}:
          Vitals.Hit{Vitals.State{word, xp, 0, respawn, attack, spin}, False{}}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=gralha-bendquest@0.1.0.0/vitals.bend&name=Vitals.Hit
  https://jend.leeeet.dev/definition.txt?path=gralha-bendquest@0.1.0.0/vitals.bend&name=Vitals.State
  https://jend.leeeet.dev/definition.txt?path=gralha-bendquest@0.1.0.0/vitals.bend&name=Vitals.fall