type Vitals.Life

gralha-bendquest@0.1.0.0 · vitals.bend:20

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

20type Vitals.Life<-hp: U32, -dead: U32> is Data:
21  Vitals.Alive{flag: {dead == 0 : U32}, positive: {G.Bq.Nat.le(1n, U32.to_nat(hp)) == True{} : Bool}}
22  Vitals.Dead{flag: {dead == 1 : U32}, zero: {hp == 0 : U32}}