law Numeric.full_value

gralha-bendquest@0.1.0.0 · numeric.bend:78

import Base

78law Numeric.full_value:
79  for +n: Nat
80  for +w: Word(n)
81  for +full: {Numeric.full(n, w) == True{} : Bool}
82  {Word.to_nat(n, w) == Numeric.limit(n) : Nat}