law Health.add_agrees

gralha-bendquest@0.1.0.0 · health.bend:230

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

230law Health.add_agrees:
231  for +a: Nat
232  for +b: Nat
233  {Nat.add(a, b) == G.Bq.Nat.add(a, b) : Nat}