law Growth.mul

gralha-bendquest@0.1.0.0 · growth.bend:65

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

65law Growth.mul:
66  for +scale: Nat
67  for +a: Nat
68  for +b: Nat
69  for +grow: {G.Bq.Nat.le(a, b) == True{} : Bool}
70  {G.Bq.Nat.le(G.Bq.Nat.mul(scale, a), G.Bq.Nat.mul(scale, b)) == True{} : Bool}