law Growth.double

gralha-bendquest@0.1.0.0 · growth.bend:79

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

79law Growth.double:
80  for +a: Nat
81  for +b: Nat
82  for +grow: {G.Bq.Nat.le(a, b) == True{} : Bool}
83  {G.Bq.Nat.le(G.Bq.Nat.dbl(a), G.Bq.Nat.dbl(b)) == True{} : Bool}