law Growth.health_preserved

gralha-bendquest@0.1.0.0 · growth.bend:139

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

139law Growth.health_preserved:
140  for +hp: U32
141  for +level0: Nat
142  for +level1: Nat
143  for +vit0: Nat
144  for +vit1: Nat
145  for +bonus: U32
146  for +ceiling: U32
147  for +valid: {G.Bq.Nat.le(U32.to_nat(hp), U32.to_nat(Growth.maximum(level0, vit0, bonus, ceiling))) == True{} : Bool}
148  for +levels: {G.Bq.Nat.le(level0, level1) == True{} : Bool}
149  for +vitalities: {G.Bq.Nat.le(vit0, vit1) == True{} : Bool}
150  {G.Bq.Nat.le(U32.to_nat(hp), U32.to_nat(Growth.maximum(level1, vit1, bonus, ceiling))) == True{} : Bool}