law Numeric.encode_double

gralha-bendquest@0.1.0.0 · numeric.bend:32

import Base

32law Numeric.encode_double:
33  for +n: Nat
34  for +k: Nat
35  {Numeric.encode(Succ{n}, Nat.double(k)) == WCon{False{}, Numeric.encode(n, k)} : Word(Succ{n})}