law Growth.add_right

gralha-bendquest@0.1.0.0 · growth.bend:39

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

39law Growth.add_right:
40  for +prefix: Nat
41  for +a: Nat
42  for +b: Nat
43  for +grow: {G.Bq.Nat.le(a, b) == True{} : Bool}
44  {G.Bq.Nat.le(G.Bq.Nat.add(prefix, a), G.Bq.Nat.add(prefix, b)) == True{} : Bool}