law Health.le_min

gralha-bendquest@0.1.0.0 · health.bend:123

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

123law Health.le_min:
124  for +hp: Nat
125  for +a: Nat
126  for +b: Nat
127  for +ha: {G.Bq.Nat.le(hp, a) == True{} : Bool}
128  for +hb: {G.Bq.Nat.le(hp, b) == True{} : Bool}
129  {G.Bq.Nat.le(hp, G.Bq.nmin(a, b)) == True{} : Bool}