law Growth.raw_maximum

gralha-bendquest@0.1.0.0 · growth.bend:113

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

113law Growth.raw_maximum:
114  for +level0: Nat
115  for +level1: Nat
116  for +vit0: Nat
117  for +vit1: Nat
118  for +levels: {G.Bq.Nat.le(level0, level1) == True{} : Bool}
119  for +vitalities: {G.Bq.Nat.le(vit0, vit1) == True{} : Bool}
120  {G.Bq.Nat.le(G.Bq.max_hp(level0, vit0), G.Bq.max_hp(level1, vit1)) == True{} : Bool}