law Numeric.value_fits

import gralha-bendquest@0.1.0.0/numeric.bend as Numeric

import Base

228law Numeric.value_fits:
229  for +n: Nat
230  for +w: Word(n)
231  Numeric.Fits<n, Word.to_nat(n, w)>

Uses (4)